Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verification, Model Checking, and Abstract Interpretation

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verification, Model Checking, and Abstract Interpretation Constantin Enea
Koda Libristo: 21040880
Založba Springer Nature Switzerland AG, januar 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Celoten opis
? points 118 b
48.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Film Blu-ray
common.buy 14.07 €
Top
One Piece Color Walk - Tome 09 Eiichiro Oda / Knjiga Mehka
common.buy 28.04 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Knjiga Trda
common.buy 22.57 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Knjiga Mehka
common.buy 15.69 €
Gefühle Wimmelbuch Alexandra Helm / Knjiga Kartonka
common.buy 11.03 €
Football - The Ultimate Book Bernd Pohlenz / Knjiga Trda
common.buy 54.57 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Knjiga Mehka
common.buy 4.85 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Knjiga Mehka
common.buy 13.56 €
Kníhkupectvo nových začiatkov Jenny Colgan / Knjiga Trda
common.buy 18.93 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Knjiga Mehka
common.buy 21.05 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Knjiga Mehka
common.buy 72.90 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Knjiga Trda
common.buy 83.73 €
Zermatt / Knjiga Mehka
common.buy 17.91 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digitalno Digitalni CD
common.buy 112.29 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Knjiga Mehka
common.buy 30.27 €
Correspondances D'Alger 1962 Didier Robert-Ales / Knjiga Mehka
common.buy 57.61 €
Mandy Birgit Zaczek / Knjiga Mehka
common.buy 5.46 €
Actividades de animación para la tercera edad Jacques Choque / Knjiga Mehka
common.buy 31.79 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Knjiga Mehka
common.buy 25.81 €
Contratiempos Kahane / Knjiga Mehka
common.buy 13.96 €
Schule für kleine Trommel Felix Dierkes / Knjiga Mehka
common.buy 32.29 €
Kmalu
FRE-SANS MASQUE Truda Rosenberg / Knjiga Mehka
common.buy 15.38 €
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Igra/Igrača Igrača
common.buy 5.56 €
Polednice Plešatá palice H:o)nza Vojtko / Knjiga Mehka
common.buy 9.71 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verification, Model Checking, and Abstract Interpretation
Avtor Constantin Enea, Ruzica Piskac
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2019
Število strani 602
EAN 9783030112448
ISBN 3030112446
Koda Libristo 21040880
Založba Springer Nature Switzerland AG
Teža 937
Mere 155 x 235 x 235

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Environmental Policymaking in an Era of Climate Change NOWLIN / Knjiga Mehka
common.buy 59.03 €
Advanced Python Programming DR. GABRIELE LANARO / Knjiga Mehka
common.buy 43.13 €
Swallow (NHB Modern Plays) Stef Smith / E-knjiga Adobe ePub DRM
common.buy 14.88 €
Top
Istanbul Bettany Hughes / Knjiga Mehka
common.buy 14.77 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Knjiga Mehka
common.buy 13.96 €
Concrete Roses Le'Taxione / Knjiga Mehka
common.buy 14.07 €
The Tragedy of Coriolanus: A Play William Shakespeare / Knjiga Mehka
common.buy 8.09 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Knjiga Trda
common.buy 31.89 €
Top
Demon in the Wood Leigh Bardugo / Knjiga Trda
common.buy 14.77 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Knjiga Trda
common.buy 29.25 €
City of Dusk Tara Sim / Knjiga Trda
common.buy 19.94 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Knjiga Mehka
common.buy 12.34 €
A Short History Of England (1917) G. K. Chesterton / Knjiga Mehka
common.buy 23.58 €
The Negroni Matt Hranek / Knjiga Trda
common.buy 14.88 €
LEGO Arduino Cookbook Grady Koch / Knjiga Mehka
common.buy 38.87 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Knjiga Mehka
common.buy 19.84 €
Cannabinoid Cookbook Daniel Green / Knjiga Trda
common.buy 25.61 €
Top
Nomadland Jessica Bruder / Film DVD
common.buy 8.60 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Knjiga Mehka
common.buy 10.72 €
What in the World? Look Again National Geographic Kids / Knjiga Trda
common.buy 12.24 €
Restless Souls Alisa Statman / Knjiga Mehka
common.buy 12.24 €
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Knjiga Mehka
common.buy 68.65 €
Nibbles: The Very Hungry Book Monster Emma Yarlett / Knjiga Mehka
common.buy 8.09 €
The Complete APA 7th Edition Guide Gregory Dixon / Knjiga Mehka
common.buy 13.05 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?