Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Verification, Model Checking, and Abstract Interpretation

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Libristo-code: 15560990
Uitgeverij Springer International Publishing AG, januari 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Volledige beschrijving
? points 125 b
51.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Satires Contre Les Astronomes MERCIER-L-S / Boek Gebonden (paperback)
common.buy 13.63 €
MEURTRIERS SANS VISAGE Henning Mankell / Boek Gebonden (paperback)
common.buy 14.94 €
Malvadita Keselman / Luisterboek MP3
common.buy 3.93 €
Os animais tem alma? ERNESTO BOZZANO / Boek Gebonden (paperback)
common.buy 14.54 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Boek Gebonden (paperback)
common.buy 7.37 €
Batman - Svět Různí / Boek Gebonden (harde band)
common.buy 19.49 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Boek Gebonden (harde band)
common.buy 64.35 €
Wordt verwacht
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Boek Boek
common.buy 86.88 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Boek Gebonden (paperback)
common.buy 44.44 €
Feelgood-Management Ulrike Weber / Boek Gebonden (paperback)
common.buy 14.34 €
Lehrer sein! Johannes Baumann / Boek Gebonden (paperback)
common.buy 23.73 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Boek Gebonden (paperback)
common.buy 63.74 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification, Model Checking, and Abstract Interpretation
Auteur Ahmed Bouajjani, David Monniaux
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2017
Aantal pagina's 560
EAN 9783319522333
ISBN 3319522337
Libristo-code 15560990
Uitgeverij Springer International Publishing AG
Gewicht 8657
Afmetingen 155 x 235 x 31

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Remaking China's Great Cities Sam Liang / Boek Gebonden (harde band)
common.buy 234.69 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-book Adobe ePub DRM
common.buy 239.64 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Boek Gebonden (harde band)
common.buy 30.50 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-book Adobe ePub DRM
common.buy 50.30 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Luisterboek MP3
common.buy 8.38 €
Season's of a Mother's Heart Sally Clarkson / Boek Gebonden (paperback)
common.buy 12.11 €
Wordt verwacht
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Boek Gebonden (harde band)
common.buy 164.17 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Boek Gebonden (paperback)
common.buy 9.39 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Boek Gebonden (paperback)
common.buy 18.07 €
Technology, Modernity, and Democracy Eduardo Beira / Boek Gebonden (harde band)
common.buy 167.70 €
Adventures of Hugh Jorgan Rock Harding / Boek Gebonden (paperback)
common.buy 10.60 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Boek Gebonden (harde band)
common.buy 37.78 €
Red Earth Joel Canfield / Boek Gebonden (paperback)
common.buy 20.30 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Boek Gebonden (paperback)
common.buy 59.80 €
TOP Voordelig
Peppa Pig: Hide and Peek Peppa Pig / Boek Leporello (harmonicaboek)
common.buy 5.65 €
Damned If I Do, Dead If I Don't Hannah Bonde / Boek Gebonden (paperback)
common.buy 18.28 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Boek Gebonden (paperback)
common.buy 22.01 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Boek Gebonden (paperback)
common.buy 19.29 €
Unbounded Chronicles David Schneider / Boek Gebonden (paperback)
common.buy 29.69 €
Animals A-Z Trevor E Coward / Boek Gebonden (paperback)
common.buy 16.46 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?