Search:

Type:

Format:

Library:

[ 2 filters applied ]

◄ Previous

Back To Results
Showing Item 3 of 7

Next ►

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 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

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 Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Shelf Browser

► MARC Record

◄ Previous

Back To Results
Showing Item 3 of 7

Next ►