Edona Design

ebooks, audiobooks, and more for reads

Search Results


Related Books

VMCAI 2003
Language: en
Pages: 335

VMCAI 2003

Authors: Lenore D. Zuck
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, hel
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 335

Verification, Model Checking, and Abstract Interpretation

Authors: Lenore D. Zuck
Categories: Computers
Type: BOOK - Published: 2003-07-01 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New Y
Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 323

Verification, Model Checking, and Abstract Interpretation

Authors: VMCAI.
Categories:
Type: BOOK - Published: 2003 - Publisher:

DOWNLOAD EBOOK

Verification, Model Checking, and Abstract Interpretation
Language: en
Pages: 328

Verification, Model Checking, and Abstract Interpretation

Authors: Lenore D. Zuck
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New Y
VMCAI 2004
Language: en
Pages: 344

VMCAI 2004

Authors: Bernhard Steffen
Categories: Computers
Type: BOOK - Published: 2004-01-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, hel
Scroll to top