MPG.eBooks - Description: Computer Aided Verification

Read Now

Bibliographic Details
Other Authors:	Berry, Gerard (Editor), Comon, Hubert (Editor), Finkel, Alain (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2001, 2001
Edition:	1st ed. 2001
Series:	Lecture Notes in Computer Science
Subjects:	Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Artificial Intelligence Formal Languages And Automata Theory Database Management Machine Theory Theory Of Computation
Online Access:	https://doi.org/10.1007/3-540-44585-4?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Description
Physical Description:	XIII, 522 p online resource
ISBN:	9783540445852