Explore Books on
verifikation

1-24 of 24 Books

Cover of Verification and validation in systems engineering by mourad debbabi

Verification and validation in systems engineering

By Mourad Debbabi

Cover of A survey of verification techniques for parallel programs by howard barringer

A survey of verification techniques for parallel programs

By Howard Barringer

Cover of Weryfikacja narodowościowa na Ziemiach Odzyskanych by jan misztal

Weryfikacja narodowościowa na Ziemiach Odzyskanych

By Jan Misztal

Cover of Verification in economics and history by o. f. hamouda

Verification in economics and history

By O. F. Hamouda

Cover of Digitale Hardware/Software-Systeme by christian haubelt

Digitale Hardware/Software-Systeme

By Christian Haubelt

Cover of Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition) by peter liggesmeyer

Software-Qualität: Testen, Analysieren und Verifizieren von Software (German Edition)

By Peter Liggesmeyer

Cover of The criteriologic problem by olof franck

The criteriologic problem

By Olof Franck

Cover of Protocol Engineering by hartmut könig

Protocol Engineering

By Hartmut König

Cover of Formal Methods for Industrial Critical Systems by darren cofer

Formal Methods for Industrial Critical Systems

By Darren Cofer

Cover of Foundations and Practice of Security

Lecture Notes in Computer Science by pascal lafourcade

Foundations and Practice of Security Lecture Notes in Computer Science

By Pascal Lafourcade

Cover of Formal Methods Foundations and Applications

Lecture Notes in Computer Science by jim woodcock

Formal Methods Foundations and Applications Lecture Notes in Computer Science

By Jim Woodcock

Cover of Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings by zhiming liu

Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings

By Zhiming Liu

Cover of Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings by ana cavalcanti

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

By Ana Cavalcanti

Cover of Formal Foundations of Reuse and Domain Engineering by stephen h. edwards

Formal Foundations of Reuse and Domain Engineering

By Stephen H. Edwards

Cover of Runtime verification by rv 2009 (2009 grenoble, france)

Runtime verification

By RV 2009 (2009 Grenoble, France)

Cover of Formal methods for industrial critical systems by international workshop on formal methods for industrial critical systems (15th 2010 antwerp, belgium)

Formal methods for industrial critical systems

By International Workshop on Formal Methods for Industrial Critical Systems (15th 2010 Antwerp, Belgium)

Cover of Coordination models and languages by coordination 2009 (2009 lisbon, portugal)

Coordination models and languages

By COORDINATION 2009 (2009 Lisbon, Portugal)

Cover of Verified software by vstte 2010 (2010 edinburgh, scotland)

Verified software

By VSTTE 2010 (2010 Edinburgh, Scotland)

Cover of Verifying concurrent processes using temporal logic by brent t. hailpern

Verifying concurrent processes using temporal logic

By Brent T. Hailpern

Cover of Compiler specification and verification by wolfgang polak

Compiler specification and verification

By Wolfgang Polak

Cover of Computer aided verification by e. allen emerson

Computer aided verification

By E. Allen Emerson

Cover of Concurrency and hardware design by grzegorz rozenberg

Concurrency and hardware design

By Grzegorz Rozenberg

Cover of Formal methods in computer-aided design by fmcad '98 (1998 palo alto, calif.)

Formal methods in computer-aided design

By FMCAD '98 (1998 Palo Alto, Calif.)

Cover of Constraint integer programming by tobias achterberg

Constraint integer programming

By Tobias Achterberg