Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Radhia Cousot
Libristo kod: 01560226
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2005
The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Cijeli opis
? points 125 b
51.65 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn / Knjiga Meki uvez
common.buy 35.88 €
Una ética para laicos Rorty / Knjiga Meki uvez
common.buy 7.47 €
Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet / Knjiga Meki uvez
common.buy 29.61 €
la discesa Lucio Mencatelli / Knjiga Meki uvez
common.buy 9.39 €
Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá / Knjiga Spiralni uvez
common.buy 8.79 €
Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed / Knjiga Meki uvez
common.buy 40.93 €
Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle / Knjiga Meki uvez
common.buy 22.84 €
Traumangeln auf Königsfische Rainer J. Bouterwek / Knjiga Tvrdi uvez
common.buy 26.48 €
Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny / Knjiga Meki uvez
common.buy 25.06 €

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verification, Model Checking, and Abstract Interpretation
Autor Radhia Cousot
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2005
Broj stranica 483
EAN 9783540242970
ISBN 354024297X
Libristo kod 01560226
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1530
Dimenzije 155 x 235 x 27

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael / Knjiga Meki uvez
common.buy 13.13 €
Cornet Student Fred Weber / Knjiga Meki uvez
common.buy 17.78 €
Bloodchild Anna Stephens / Knjiga Meki uvez
common.buy 11.82 €
Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press / Knjiga Meki uvez
common.buy 13.44 €
Otto the Ordinary and His Fabulous Friends Jeff Baetzel / Knjiga Tvrdi uvez
common.buy 18.69 €
Crisis of this World Merrill Stephen Mason Merrill / Knjiga Meki uvez
common.buy 16.97 €
The Tenant of Wildfell Hall Anne Bronte / Knjiga Meki uvez
common.buy 16.67 €
Empowering Leadership of Tomorrow Ryszard Praszkier / Knjiga Meki uvez
common.buy 40.12 €
Way of the Argosi Sebastien de Castell / Knjiga Tvrdi uvez
common.buy 19.50 €
The Influence of Sea Power Upon History 1660-1783 A. T. Mahan / Knjiga Meki uvez
common.buy 33.55 €
Delarivier Manley: 'The New Atalantis' Manley / Knjiga Tvrdi uvez
common.buy 122.52 €
Froggy Is the Best Jonathan London / Knjiga Meki uvez
common.buy 5.45 €
Abortion Stephane Bordeau / Knjiga Meki uvez
common.buy 15.36 €
L'Inde Pittoresque (1861) Louis Enault / Knjiga Meki uvez
common.buy 42.95 €
THE KING IN YELLOW 1895 ROBERT W. CHAMBERS / Knjiga Meki uvez
common.buy 30.72 €
Child Health & Human Development Yearbook 2010 Joav Merrick / Knjiga Tvrdi uvez
common.buy 321.88 €
Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi / Knjiga Meki uvez
common.buy 16.47 €
Very Bad Wizard Tamler Sommers / Knjiga Meki uvez
common.buy 58.52 €
Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray / Knjiga Meki uvez
common.buy 66.41 €
Kev Gets on a Jet Nadia Gunawan / Knjiga Meki uvez
common.buy 9.49 €
History of the Church Eusebius of Caesarea / E-knjiga Adobe ePub DRM
common.buy 20.21 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?