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

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Codul Libristo: 01660462
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Descrierea completă
? points 148 b
320.68 lei
În depozitul extern în cantități mici Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Computer-Numerik 2 Christoph W. Überhuber / Carte Carte broșată
common.buy 287.09 lei
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Carte Carte broșată
common.buy 75.17 lei
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Carte Copertă tare
common.buy 54.37 lei
Sono io il piu forte! RAMOS MARIO / Carte Copertă tare
common.buy 62.80 lei
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Carte binding.
common.buy 79.64 lei
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Carte Copertă tare
common.buy 29.42 lei
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Carte Copertă tare
common.buy 206.81 lei
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Carte Carte broșată
common.buy 60.61 lei
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Carte Carte broșată
common.buy 178.22 lei
VALENCIA 2018 PASCUAL IZQUIERDO / Carte Carte broșată
common.buy 106.99 lei
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Carte Carte broșată
common.buy 111.46 lei
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Carte Copertă tare
common.buy 171.04 lei
Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung Mark Grohmann / Carte Carte broșată
common.buy 409.48 lei
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Carte Carte broșată
common.buy 77.56 lei
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Carte Carte broșată
common.buy 157.21 lei
Die CSU Alf Mintzel / Carte Carte broșată
common.buy 293.02 lei
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Carte Carte broșată
common.buy 114.06 lei
Westfassade des Domes in Siena Silvia Katzenmaier / Carte Carte broșată
common.buy 89.62 lei
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Carte Carte broșată
common.buy 262.03 lei

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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 Viktor Kuncak, Andrey Rybalchenko
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 457
EAN 9783642279393
ISBN 3642279392
Codul Libristo 01660462
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 709
Dimensiuni 155 x 235 x 28

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Mathematical theory of computation
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

Secret of Chimneys / Carte Carte broșată
common.buy 106.26 lei
The Art of Painting in Oil John Smith / Carte Carte broșată
common.buy 84.63 lei
Magnus and the Night Lion Sanne Dufft / Carte Carte broșată
common.buy 48.76 lei
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Carte Carte broșată
common.buy 121.24 lei
Tender Persuasion Jean Hackensmith / Carte Carte broșată
common.buy 81.62 lei
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Carte Carte broșată
common.buy 43.04 lei
Royal Merchant; An Opera Fletcher / Carte Copertă tare
common.buy 163.45 lei
Power System Economics - Designing Markets for Electricity Stoft / Carte Carte broșată
common.buy 547.88 lei
How To Survive Peer Review Elizabeth Wager / Carte Carte broșată
common.buy 167.61 lei
Soul in the Brain Michael R. Trimble / Carte Copertă tare
common.buy 250.49 lei
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Carte Copertă tare
common.buy 306.22 lei
Knowledge of Heaven and Earth, Book Two Mick Richfield / Carte Carte broșată
common.buy 116.97 lei
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Carte Carte broșată
common.buy 153.06 lei
Mills Mill Pals Pamela Chaffin Foster / Carte Carte broșată
common.buy 126.23 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?