MPG.eBooks - Description: Algebraic Methodology and Software Technology

Read Now

Bibliographic Details
Main Author:	Kirchner, Hélène
Other Authors:	Ringeissen, Christophe
Format:	eBook
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2002
Series:	Lecture Notes in Computer Science
Subjects:	Algebra Artificial Intelligence Computer Science Logic Design Software Engineering Artificial Intelligence (incl. Robotics) Logics And Meanings Of Programs Mathematical Logic And Formal Languages Programming Techniques Symbolic And Algebraic Manipulation
Online Access:	http://dx.doi.org/10.1007/3-540-45719-4?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa

Description
Physical Description:	v. digital
ISBN:	9783540457190 978-3-540-44144-1