Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings - E. Allen Emerson, Kedar S. Namjoshi
Comprar en Amazon

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

de ,
Idioma
Inglés
Publicado en
Editorial
Springer
Páginas
443
ISBN
9783540316220

Temas

Detalles de la edición original

Idioma original
Inglés
Editorial original Springer

Otras ediciones (2)

Libros parecidos

User Acceptance Testing: A Step-By-step Guide - Brian Hambling, Pauline van Goethem

User Acceptance Testing: A Step-By-step Guide

Brian Hambling, Pauline van Goethem

Inglés
 
The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World - Pedro Domingos

The Master Algorithm How the Quest for the Ultimate Learning Machine Will Remake Our World

Pedro Domingos

Inglés
 
Clean Code - Robert C. Martin

Clean Code

Robert C. Martin

Inglés
 
Code Complete - Steve McConnell

Code Complete

Steve McConnell

Inglés
 

Libros similares gratuitos

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I - Lijun Zhang, Tomás Vojnar

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Lijun Zhang, Tomás Vojnar

Inglés
Leer
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings - Alessandra Russo, Andy Schürr

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo, Andy Schürr

Inglés
Leer
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II - Isil Dillig, Serdar Tasiran

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Isil Dillig, Serdar Tasiran

Inglés
Leer
Pro Git - Scott Chacon

Pro Git

Scott Chacon

Inglés
Leer