Scientific Library of Tomsk State University

   E-catalog        

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

By: Bernardo, MarcoContributor(s): Cimatti, Alessandro | SpringerLink (Online service)Material type: Computer fileComputer 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-books
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
Share