Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662131
Price: 284.66 RON
Availability: InStock
Author: Madhavan Mukund
ISBN: 9783642333859

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Madhavan Mukund

Supratik Chakraborty

Limba

engleză

Carte Carte broșată

Codul Libristo: 01662131

Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2012

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Aut... Descrierea completă

Codul Libristo: 01662131

132 b

284.66 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Performance Measurement und Management Jeanette Bode

Carte broșată

344.96 lei

Haltungen zum Theodizeeproblem von Norbert Hoerster und John Hick Kim Schlotmann

Carte broșată

89.45 lei

Nicolás Salmerón y Alonso : discursos y escritos políticos Fernando Martínez López

Carte broșată

132.52 lei

ERIC WHITACRE: ANIMAL CRACKERS - VOLUME 1 CHANT WHITACRE Carte

binding.

38.49 lei

La meva llengua, la meva vida Costa-Gramunt

Carte broșată

107.20 lei

La France Illustrée. Géographie, Histoire, Administration Et Statistique... Plon

Carte broșată

209.84 lei

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.