Search:

Type:

Format:

Library:

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Cover Image

E-book

E-book

Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by Natarajan Shankar, Jim Woodcock.

Shankar, Natarajan. (editor.). Woodcock, Jim. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540878735
Physical Description: online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Search for related items by subject

Subject:

Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Models and Principles.
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