Articles liés à Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Couverture souple
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540003487
- ISBN 13 9783540003489
- ReliureBroché
- Langueanglais
- Nombre de pages340
Acheter neuf
Afficher cet article
EUR 54,58
EUR 3,52 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Verification, Model Checking, and Abstract Interpretation:...
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Edité par
Springer Verlag, New York, 2003
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Ancien ou d'occasion
Couverture rigide
Vendeur : Doss-Haus Books, Redondo Beach, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2575. [xi, 323 p. : ill. ; 24 cm]. N° de réf. du vendeur 011806
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575)
Edité par
Springer, 2002
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Ancien ou d'occasion
Couverture souple
Vendeur : Best and Fastest Books, Wantage, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Solid and unmarked text, mild reading wear, exowner name inscribed. Fast Shipping - Safe and Secure Bubble Mailer! N° de réf. du vendeur 1M5GSB0002US_ns
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation.
Edité par
Springer Verlag, 2002
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Ancien ou d'occasion
Softcover
Vendeur : CSG Onlinebuch GMBH, Darmstadt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Gut. Gebraucht - Gut Zustand: Gut, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings XI, 325 p. Also available online. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods. Written for Researchers and professionals. N° de réf. du vendeur 14907
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 2003
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Auflage: 2003. 340 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 23,1 x 15,5 x 2,0 cm, Taschenbuch. N° de réf. du vendeur 368021
Quantité disponible : 1 disponible(s)
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020155313
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540003489
Quantité disponible : Plus de 20 disponibles
Image d'archives
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540003489_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation
Edité par
Springer Berlin Heidelberg Dez 2002, 2002
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 4th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities-Veri cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri cation, static analysis te- niques, model checking, program certi cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference. 340 pp. Englisch. N° de réf. du vendeur 9783540003489
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 4th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities-Veri cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri cation, static analysis te- niques, model checking, program certi cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference. N° de réf. du vendeur 9783540003489
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Verification, Model Checking, and Abstract Interpretation
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 3540003487
ISBN 13 : 9783540003489
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4877107
Quantité disponible : Plus de 20 disponibles