Location & Availability for: Formal methods : state of the art and ne

 Staff view

You must be logged in to Tag Records

Formal methods : state of the art and new directions /

Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors.

Book Cover
Names: Boca, Paul. | Bowen, J. P. | Siddiqi, J. I.
Published: London ; Springer, c2010.
Topics: Formal methods (Computer science)
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Formal methods : state of the art and ne