Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655343
Price: 50.52 EUR
Availability: InStock
Author: Gilles Barthe
ISBN: 9783642113185

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Gilles Barthe

Manuel Hermenegildo

Língua

Inglês

Livro Capa mole

Código Libristo: 01655343

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2010

This book constitutes the refereed proceedings of the 11th International Conference on Verification,... Descrição completa

Código Libristo: 01655343

122 b

50.52 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Le Coran expliqué aux jeunes Rachid Benzine

Capa mole

10.40 €

Dále nevyšlapanou cestou Nekonečná pouť duchovního růstu Morgan Scott Peck

Livro de capa dura

8.78 €

Burenkrieg (1899-1902) Burkhard Werner

Capa mole

11.91 €

Augusto Giacometti Beat Stutzer

Capa mole

37.78 €

Metody prepodawaniq-obucheniq i akademicheskaq uspewaemost' studentow Abubakar Obilan

Capa mole

15.75 €

Compliance-Anforderungen an Hersteller autonomer Software-Agenten: 5 Compliance-Prinzipien für sichere Agenten Markus Fatalin

Capa mole

26.16 €

Kritische Erfolgsfaktoren bei der Konzeption zielfuhrender Veranstaltungen der pharmazeutischen Industrie Jens Krösche

Capa mole

35.46 €

andere Erinnerung - Der Holocaust in der deutschsprachigen Literatur nach 1945 Katja Born

Capa mole

14.24 €

Plansza dwustronna A4 ściąga Europa

binding.

1.40 €

Ivres paradis, bonheurs heroiques Cyrulnik Boris Cyrulnik

Adobe ePub DRM

11.51 €

Joan Miro TBD

Livro de capa dura

34.85 €

Dawit Isaak Anisur Rahman

Capa mole

21.41 €

UN HERISSON EMMANUELLE KECIR-LEPETIT

Livro

11.21 €

Jak jsem se (ne)stal agentem StB Jan Vaněček

binding.

3.22 €

Holašovice: Vesnická památková rezervace collegium

Folha

11.41 €

Des petits mondes en leur début

Capa mole

30.71 €

Das Duell - Ehrenkämpfe vom Mittelalter bis zur Moderne Ulrike Ludwig

Livro de capa dura

45.36 €

Indische Reisebriefe Ernst Haeckel

Capa mole

31.42 €

Integrierte Versorgung bei Demenzerkrankungen Lucie Barth

Capa mole

27.58 €

Sang famille Michel Bussi

Capa mole

10.90 €

Traite Du Jeu. Volume 1 BARBEYRAC-J

Capa mole

25.96 €

Gottfried Keller Albert Köster

Capa mole

21.01 €

de la Difference d'Action Sur l'Organisme Des Medicaments Naturels PERRY-J-J

Capa mole

11.61 €

Iniciacion deportiva en la escuela Abadi

Capa mole

24.55 €

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.