Explore Books on
programmverifikation

1-24 of 30 Books

Cover of The design of well-structured and correct programs by suad alagić

The design of well-structured and correct programs

By Suad Alagić

Cover of Verification, model checking, and abstract interpretation by vmcai 2004 (2004 venice, italy)

Verification, model checking, and abstract interpretation

By VMCAI 2004 (2004 Venice, Italy)

Cover of Verification of sequential and concurrent programs by krzysztof r. apt

Verification of sequential and concurrent programs

By Krzysztof R. Apt

Cover of Programming Languages and Systems by zhenjiang hu

Programming Languages and Systems

By Zhenjiang Hu

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 Constructing correct software by cooke, john

Constructing correct software

By Cooke, John

Cover of Verifiable programming by ole-johan dahl

Verifiable programming

By Ole-Johan Dahl

Cover of Semantik und Programmverifikation by christoph walther

Semantik und Programmverifikation

By Christoph Walther

Cover of Static Analysis by sas <11, 2004, verona>

Static Analysis

By SAS <11, 2004, Verona>

Cover of Formal methods by keijiro araki

Formal methods

By Keijiro Araki

Cover of Programmentwicklung und Verifikation by gerald futschek

Programmentwicklung und Verifikation

By Gerald Futschek

Cover of Programmverifikation by krzysztof r. apt,ernst-rüdiger olderog

Programmverifikation

By Krzysztof R. Apt,Ernst-Rüdiger Olderog

Cover of Software verification and validation by michael s. deutsch

Software verification and validation

By Michael S. Deutsch

Cover of Program construction and verification by roland c. backhouse

Program construction and verification

By Roland C. Backhouse

Cover of Programming languages and systems by aplas 2008 (2008 bangalore, india)

Programming languages and systems

By APLAS 2008 (2008 Bangalore, India)

Cover of Hardware and software by international haifa verification conference (4th 2008 haifa, israel)

Hardware and software

By International Haifa Verification Conference (4th 2008 Haifa, Israel)

Cover of Verification of object-oriented software by bernhard beckert

Verification of object-oriented software

By Bernhard Beckert

Cover of Formal Methods for Industrial Critical Systems by darren cofer

Formal Methods for Industrial Critical Systems

By Darren Cofer

Cover of Fields of logic and computation by yuri gurevich,andreas blass,nachum dershowitz,wolfgang reisig

Fields of logic and computation

By Yuri Gurevich,Andreas Blass,Nachum Dershowitz,Wolfgang Reisig

Cover of Advanced lectures on software engineering by peter müller

Advanced lectures on software engineering

By Peter Müller

Cover of Languages From Formal to Natural

Lecture Notes in Computer Science by orna grumberg

Languages From Formal to Natural Lecture Notes in Computer Science

By Orna Grumberg

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 Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings by huibiao zhu

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

By Huibiao Zhu

Cover of Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings by corina s. pasareanu

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

By Corina S. Pasareanu