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: 212.13 PLN
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

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.13 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2002

strony

328

EAN

9783540003489

ISBN

3540003487

Enbook ID

01556086

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1070

Wymiary

155 x 233 x 19

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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