Cover Image
Read Now

ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Bibliographic Details
Other Authors: Bert, Didier (Editor), Bowen, Jonathan P. (Editor), Henson, Martin C. (Editor), Robinson, Ken (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:1st ed. 2002
Series:Lecture Notes in Computer Science
Subjects:
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Mathematical Logic
Formal Languages And Automata Theory
Machine Theory
Mathematical Logic And Foundations
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XI, 541 p online resource
ISBN:9783540456483

Similar Items