Search:

Type:

Format:

Library:

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I Cover Image

E-book

E-book

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

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

Record details

ISBN: 9783642165580
Physical Description: XX, 708p. 220 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject:

Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Data mining.
Information systems.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Information Systems Applications (incl.Internet).
Data Mining and Knowledge Discovery.

Search for related items by series

Other Formats and Editions

E-book (3)
English (3)

View all formats and editions (3)

Add to basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record