Formal Methods: State of the Art and New Directions
Record details
- ISBN: 9781848827363
- Physical Description: XXVI, 273 p. online resource.
- Publisher: London : Springer London : 2010.
Search for related items by subject
Subject: | Computer science. Software engineering. Computer Science. Software Engineering. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. |