Location & Availability for: Industrial-strength formal methods in pr

 Staff view

You must be logged in to Tag Records

Industrial-strength formal methods in practice /

Michael G. Hinchey and Jonathan P. Bowen, (eds.).

Book Cover
Names: Hinchey, Michael G. | Bowen, J. P.
Published: Berlin ; Springer, c1999.
Series: Formal approaches to computing and information technology
Topics: Formal methods (Computer science) | Formal methods (Computer science)
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Industrial-strength formal methods in pr