Explore Books on
computer software verification

1-24 of 184 Books

Cover of Reactive systems by luca aceto

Reactive systems

By Luca Aceto

Cover of Model checking by edmund m. clarke jr.,orna grumberg,doron a. peled

Model checking

By Edmund M. Clarke Jr.,Orna Grumberg,Doron A. Peled

Cover of Principles of model checking by christel baier

Principles of model checking

By Christel Baier

Cover of Languages, Design Methods, and Tools for Electronic System Design by franco fummi,robert wille

Languages, Design Methods, and Tools for Electronic System Design

By Franco Fummi,Robert Wille

Cover of Next generation Java testing by cédric beust,hani suleiman

Next generation Java testing

By Cédric Beust,Hani Suleiman

Verification and Validation of Rule-Based Expert Systems

Verification and Validation of Rule-Based Expert Systems

By Suzanne Smith,Abraham Kandel

Cover of Software testing by gerald d. everett,gerald d. everett,raymond, jr. mcleod

Software testing

By Gerald D. Everett,Gerald D. Everett,Raymond, Jr. McLeod

Cover of Software engineering reviews and audits by boyd l. summers

Software engineering reviews and audits

By Boyd L. Summers

Cover of Text, Speech and Dialogue by petr sojka

Text, Speech and Dialogue

By Petr Sojka

Cover of Verification and Validation for Quality of UML 2.0 Models by bhuvan unhelkar

Verification and Validation for Quality of UML 2.0 Models

By Bhuvan Unhelkar

Cover of Leveraging Applications of Formal Methods, Verification and Validation by tiziana margaria,bernhard steffen

Leveraging Applications of Formal Methods, Verification and Validation

By Tiziana Margaria,Bernhard Steffen

Cover of Computer Aided Verification by daniel kroening,corina s. păsăreanu

Computer Aided Verification

By Daniel Kroening,Corina S. Păsăreanu

Cover of Verification by error modeling by katarzyna radecka

Verification by error modeling

By Katarzyna Radecka

Cover of Practical software testing by ilene burnstein

Practical software testing

By Ilene Burnstein

Runtime Verification

Runtime Verification

By Axel Legay,Saddek Bensalem

Cover of Runtime verification by rv 2008 (2008 budapest, hungary)

Runtime verification

By RV 2008 (2008 Budapest, Hungary)

Cover of Beautiful testing by tim riley

Beautiful testing

By Tim Riley

Cover of Rigorous software development by josé bacelar almeida

Rigorous software development

By José Bacelar Almeida

Cover of Verified software by vstte 2008 (2008 toronto, ont.)

Verified software

By VSTTE 2008 (2008 Toronto, Ont.)

Cover of Models in Hardware Testing by hans-joachim wunderlich

Models in Hardware Testing

By Hans-Joachim Wunderlich

Cover of Building and testing with Gradle by tim berglund

Building and testing with Gradle

By Tim Berglund

Cover of Concurrency verification by w.-p. de roever,willem-paul de roever,frank de boer,ulrich hanneman,jozef hooman,yassine lakhnech,mannes poel,job zwiers

Concurrency verification

By W.-P. de Roever,Willem-Paul de Roever,Frank de Boer,Ulrich Hanneman,Jozef Hooman,Yassine Lakhnech,Mannes Poel,Job Zwiers

Pragmatic Software Testing

Pragmatic Software Testing

By Rex Black

Modeling and Verification of Real-Time Systems

Modeling and Verification of Real-Time Systems

By Nicolas Navet,Stephan Merz