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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification, Model Checking, and Abstract Interpretation Constantin Enea
Libristo kod: 21040880
Nakladnici Springer Nature Switzerland AG, siječanj 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Cijeli opis
? points 125 b
51.76 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

One Piece Color Walk - Tome 09 Eiichiro Oda / Knjiga Meki uvez
common.buy 29.17 €
Gefühle Wimmelbuch Alexandra Helm / Knjiga Leporelo
common.buy 11.74 €
Kníhkupectvo nových začiatkov Jenny Colgan / Knjiga Tvrdi uvez
common.buy 20.15 €
Nobody’s girl. La mia storia di sopravvivenza in nome della giustizia. Il caso Epstein Virginia Roberts Giuffre / Knjiga Meki uvez
common.buy 23.49 €
Football - The Ultimate Book Bernd Pohlenz / Knjiga Tvrdi uvez
common.buy 52.57 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Knjiga Meki uvez
common.buy 16.50 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Knjiga Meki uvez
common.buy 14.48 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Knjiga Meki uvez
common.buy 4.65 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Knjiga Tvrdi uvez
common.buy 23.49 €
Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 14.78 €
Respira James Nestor / Knjiga Meki uvez
common.buy 12.05 €
Polednice Plešatá palice H:o)nza Vojtko / Knjiga Meki uvez
common.buy 10.32 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Knjiga Meki uvez
common.buy 20.96 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Knjiga Meki uvez
common.buy 77.18 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Knjiga Tvrdi uvez
common.buy 89.34 €
Zermatt / Knjiga Meki uvez
common.buy 12.96 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digital Digital CD
common.buy 118.52 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Knjiga Meki uvez
common.buy 32.10 €
Correspondances D'Alger 1962 Didier Robert-Ales / Knjiga Meki uvez
common.buy 60.16 €
Mandy Birgit Zaczek / Knjiga Meki uvez
common.buy 5.66 €
Actividades de animación para la tercera edad Jacques Choque / Knjiga Meki uvez
common.buy 31.60 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Knjiga Meki uvez
common.buy 25.72 €
Contratiempos Kahane / Knjiga Meki uvez
common.buy 13.77 €
Schule für kleine Trommel Felix Dierkes / Knjiga Meki uvez
common.buy 34.13 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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 Constantin Enea, Ruzica Piskac
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2019
Broj stranica 602
EAN 9783030112448
ISBN 3030112446
Libristo kod 21040880
Nakladnici Springer Nature Switzerland AG
Težina 937
Dimenzije 155 x 235 x 235

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
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

Environmental Policymaking in an Era of Climate Change NOWLIN / Knjiga Meki uvez
common.buy 61.79 €
A Short History Of England (1917) G. K. Chesterton / Knjiga Meki uvez
common.buy 28.86 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Knjiga Tvrdi uvez
common.buy 30.79 €
Shootist: A Classic Western Glendan Swarthout / Audio knjiga MP3
common.buy 3.43 €
Istanbul Bettany Hughes / Knjiga Meki uvez
common.buy 18.12 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Knjiga Meki uvez
common.buy 14.68 €
Concrete Roses Le'Taxione / Knjiga Meki uvez
common.buy 14.78 €
The Tragedy of Coriolanus: A Play William Shakespeare / Knjiga Meki uvez
common.buy 8.60 €
Swallow (NHB Modern Plays) Stef Smith / E-knjiga Adobe ePub DRM
common.buy 15.89 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Knjiga Tvrdi uvez
common.buy 33.62 €
Advanced Python Programming DR. GABRIELE LANARO / Knjiga Meki uvez
common.buy 45.07 €
Restless Souls Alisa Statman / Knjiga Meki uvez
common.buy 13.16 €
The Negroni Matt Hranek / Knjiga Tvrdi uvez
common.buy 14.48 €
Top
Demon in the Wood Leigh Bardugo / Knjiga Tvrdi uvez
common.buy 16.00 €
LEGO Arduino Cookbook Grady Koch / Knjiga Meki uvez
common.buy 41.52 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Knjiga Meki uvez
common.buy 21.47 €
City of Dusk Tara Sim / Knjiga Tvrdi uvez
common.buy 18.53 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Knjiga Meki uvez
common.buy 13.06 €
My First 100 Weather Words Lindsay Dale-Scott / Knjiga Leporelo
common.buy 6.27 €
Cannabinoid Cookbook Daniel Green / Knjiga Tvrdi uvez
common.buy 27.14 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Knjiga Meki uvez
common.buy 11.94 €
Nomadland Jessica Bruder / Video DVD
common.buy 9.01 €
Contact and Conflict in English Studies Sabine Coelsch-Foisner / Knjiga Tvrdi uvez
common.buy 58.75 €
Starting Your Day Right Joyce Meyer / Knjiga Tvrdi uvez
common.buy 13.56 €

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?