Normal view
MARC view
Formal Methods for Hardware Verification Электронный ресурс 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures edited
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006ISBN: 9783540343059Subject(s): Computer Communication Networks | Computer Science | Logic design | Software engineering | Software engineering | Computer Science | Computer Communication Networks | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Special Purpose and Application-Based SystemsOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.