Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01556086
Price: 51.75 EUR
Availability: InStock
Author: Lenore D. Zuck
ISBN: 9783540003489

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

Lenore D. Zuck

Paul D. Attie

Agostino Cortesi

Supratik Mukhopadhyay

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01556086

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2002

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

Libristo kód: 01556086

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Leporelo

17.31 €

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

Brožovaná

15.79 €

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

Pevná

20.65 €

Selected Short Stories: Povesti I Rasskazi Fyodor Dostoyevsky

Brožovaná

11.94 €

Bella Donna (Remastered) Stevie Nicks

Audio CD

8.09 €

Question Monetaire: Conference Imhaus-G

Brožovaná

13.87 €

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

Brožovaná

24.10 €

Dzdzownica Zaneta Pszczolki Lotniczki

Hra

13.76 €

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

Brožovaná

18.02 €

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.