Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
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
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Bernhard Steffen
Codul Libristo: 01558944
Editura Springer, Berlin, noiembrie 2003
This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė / Carte Carte broșată
common.buy 167.63 lei
lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza / Carte Carte broșată
common.buy 150.22 lei
Vieš, ako veľmi ťa ľúbim? Alma Grossová / Carte Copertă tare
common.buy 57.33 lei
Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C / Carte Carte broșată
common.buy 85.48 lei
Koran Hermann-Josef Frisch / Carte Carte broșată
common.buy 70.57 lei
Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES / Carte Carte broșată
common.buy 101.43 lei
Sóvárgás Tracy Wolff / Carte Copertă tare
common.buy 82.66 lei
La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo / Carte Carte broșată
common.buy 113.11 lei
La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo / Carte Carte broșată
common.buy 847.17 lei
Stvorenie hriechu Michal Kučerka / Carte Carte broșată
common.buy 41.90 lei
Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca / Carte Carte broșată
common.buy 37.31 lei
In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner / Carte Carte broșată
common.buy 49.72 lei

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verification, Model Checking, and Abstract Interpretation
Autor Bernhard Steffen, Giorgio Levi
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 325
EAN 9783540208037
ISBN 3540208038
Codul Libristo 01558944
Editura Springer, Berlin
Greutatea 480
Dimensiuni 156 x 234 x 18

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Cybersecurity Evan Jones / Carte Carte broșată
common.buy 262.92 lei
Magical Rescue Vets: Suki the Sea Dragon Morgan Huff / Carte Carte broșată
common.buy 31.27 lei
Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams / Carte Copertă tare
common.buy 148.24 lei
A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane / Carte Carte broșată
common.buy 111.75 lei
THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS / Carte Copertă tare
common.buy 253.96 lei
Truths of Spiritualism Wilson Ebenezer V. Wilson / Carte Carte broșată
common.buy 148.97 lei
The Things We Do For Love: Luke & Shelly Anita Louise / Carte Carte broșată
common.buy 71.82 lei
Unlevel Crossings Michael O'Leary / Carte Carte broșată
common.buy 39.71 lei
Letters from Dollar the Contributor Bunny McCollonough Ceili / Carte Carte broșată
common.buy 47.11 lei
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Carte Carte broșată
common.buy 104.66 lei
Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon / Carte Carte broșată
common.buy 285.96 lei
NRSV Reference Bible, NR560:X BIBLE / Carte Copertă tare
common.buy 112.27 lei
30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem / Carte Carte broșată
common.buy 42.32 lei
Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari / Carte Carte broșată
common.buy 76.83 lei
History of the Roman Empire John Bagnell Bury / Carte Carte broșată
common.buy 203.18 lei
British India and Victorian Literary Culture NI FHLATHUIN MAIRE / Carte Carte broșată
common.buy 206.21 lei
Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan / Carte Carte broșată
common.buy 570.37 lei
Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary / Carte Copertă tare
common.buy 285.96 lei
Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh / Carte Carte broșată
common.buy 108.52 lei
Self-Determination and Secession in International Law Christian Walter / Carte Copertă tare
common.buy 1 053.80 lei
History, Politics, and the Novel Dominick LaCapra / Carte Carte broșată
common.buy 280.75 lei
In Subordination Mary Kinnear / Carte Carte broșată
common.buy 244.47 lei
Physics of High Power Laser Matter Interactions H. Takabe / Carte Copertă tare
common.buy 924.00 lei
Factors Affecting Calf Crop Michael J. Fields / Carte Copertă tare
common.buy 1 744.70 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?