Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Show other versions (1)
Bibliographic Details
Main Author: Boca, Paul
Corporate Author: SpringerLink (Online service)
Other Authors: Bowen, Jonathan P., Siddiqi, Jawed
Format: Electronic Kit Book
Language:English
Published: London Springer-Verlag London 2010
Subjects:
Computer science
Software engineering
Computer Science
Software Engineering
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Online Access:http://dx.doi.org/10.1007/978-1-84882-736-3

Internet

http://dx.doi.org/10.1007/978-1-84882-736-3

ΒΚΠ - Πατρα: Unknown

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number: Unknown
Copy Unknown Available

Similar Items