MPG.eBooks - Description: FME 2003: Formal Methods

Read Now

Bibliographic Details
Main Author:	Araki, Keijiro
Other Authors:	Gnesi, Stefania, Mandrioli, Dion
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:	Lecture Notes in Computer Science
Subjects:	Computer Science Information Systems Logic Design Software Engineering Logics And Meanings Of Programs Management Of Computing And Information Systems Mathematical Logic And Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques
Online Access:	http://dx.doi.org/10.1007/b13229?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa

Description
Physical Description:	v. digital
ISBN:	9783540408284 978-3-540-40828-4