Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540003489
Price: 50.08 EUR
Availability: InStock

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Autor: Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.08 €

This book constitutes the refereed proceedings of the 4th International Conference on Verification,...

Informácie o knihe

Autor

Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2002

Stránok

328

EAN

9783540003489

ISBN

3540003487

Enbook ID

01556086

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1070

Rozmery

155 x 233 x 19

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Advances in Solid State Physics

Resocialising Europe in a Time of Crisis

Core and Equilibria of a Large Economy. (PSME-5)

War Years of a Teenager

Theres a Medical Name for This

Spiritual Appeal to Christ's Bride

Postures and Movement Patterns of the Human Hand

Land Warmed by a Song

Essay Writing Made Easy: for Everyone Who Hates to Write Essays

200 Worksheets - Find Successor of 7 Digit Numbers: Math Practice Workbook

Happiness With Positive Thinking: Discard Worries For Happy Living

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Voyage, découvre, explore. Les espèces mènacées

I Love My Mom (Welsh English Bilingual Children's Book)

Combat mer - Tome 3 - Les patrouilles de l'as Adi Schnee sur le U-201 en 1941-1942

Selected Short Stories: Povesti I Rasskazi

Bella Donna (Remastered)

Question Monetaire: Conference

Universite de France. Academie de Dijon. Faculte de Droit. Des Seconds Mariages, These

Dzdzownica Zaneta Pszczolki Lotniczki

Optimierung des Einsatzes des Neuromarketings in der Business-to-Business-Kommunikation im deutschen Mobilfunkmarkt