Search:

Type:

Format:

Library:

[ 2 filters applied ]

Back To Results
Showing Item 1 of 7

Next ►

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Cover Image

E-book

E-book

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Margaria, Tiziana. (editor.). Steffen, Bernhard. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642340260
Physical Description: XVI, 617 p. 170 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.

Search for related items by subject

Subject:

Computer science.
Software engineering.
Operating systems (Computers).
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics).

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record

Back To Results
Showing Item 1 of 7

Next ►