Location & Availability for: Formal methods for computational systems

 Staff view

You must be logged in to Tag Records

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures /

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.).

Book Cover
Names: Bernardo, Marco. | Degano, Pierpaolo, | Zavattaro, Gianluigi.
Published: Berlin ; Springer, 2008.
Series: Lecture notes in computer science ; 5016.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science. Tutorial.
Topics: Formal methods (Computer science) - Congresses. | Integrated circuits - Verification - Congresses. | Formal methods (Computer science) | Integrated circuits - Verification. | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal methods for computational systems