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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Decision Procedures

An Algorithmic Point of View

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Decision Procedures Daniel Kroening
Libristo-code: 20119732
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 89 b
36.85 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

TOP
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Boek Gebonden (harde band)
common.buy 34.52 €
TOP
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Boek Gebonden (paperback)
common.buy 13.66 €
Opowiem o tobie gwiazdom Edyta Prusinowska / Boek Gebonden (paperback)
common.buy 10.42 €
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Boek Gebonden (paperback)
common.buy 10.82 €
TOP
Coloriages mystères Pixar Jérémy Mariez / Boek Gebonden (paperback)
common.buy 21.56 €
TOP
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Schrijfwaren Schrijfwaren
common.buy 6.37 €
TOP
Bella Germania Daniel Speck / Boek Gebonden (paperback)
common.buy 12.65 €
TOP
In altre parole Jhumpa Lahiri / Boek Gebonden (paperback)
common.buy 11.94 €
TOP
DaF Kompakt neu Birgit Braun / Boek Gebonden (paperback)
common.buy 34.62 €
TOP
Amokspiel Sebastian Fitzek / Boek Gebonden (paperback)
common.buy 11.84 €
TOP
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Boek Gebonden (paperback)
common.buy 9.10 €

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

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 Decision Procedures
Auteur Daniel Kroening, Ofer Strichman
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2018
Aantal pagina's 356
EAN 9783662570654
Libristo-code 20119732
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 580
Afmetingen 233 x 156 x 24

Categorieën

Wiskunde en wetenschap > Wiskunde > Optimalisatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica
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

No Time to Play Henry Farley / Boek Gebonden (paperback)
common.buy 16.19 €
Field Sketchbook A6 Inc Peter Pauper Press / Boek Gebonden (harde band)
common.buy 7.69 €
Matty Matheson Quentin Bacon / Boek Gebonden (harde band)
common.buy 30.57 €
TOP
Komi Can't Communicate, Vol. 8 Tomohito Oda / Boek Gebonden (paperback)
common.buy 8.39 €
TOP
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Boek Gebonden (harde band)
common.buy 27.13 €
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Boek Gebonden (harde band)
common.buy 33.61 €
RF Electronics for Electronic Warfare Richard A. Poisel / Boek Gebonden (harde band)
common.buy 140.64 €
TOP
Opening the Akashic Records Maureen J. St Germain / Boek Gebonden (paperback)
common.buy 12.85 €
Are You Listening? Tillie Walden / Boek Gebonden (harde band)
common.buy 28.24 €
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Boek Gebonden (paperback)
common.buy 14.98 €
It Was Always You Lorhainne Eckhart / Boek Gebonden (paperback)
common.buy 9.41 €
DESTINED FOR GREATNESS TESTA MAGGIE / Boek Gebonden (paperback)
common.buy 6.57 €
Click and Boing: Almost go to the zoo Liam Lynch / Boek Gebonden (paperback)
common.buy 16.70 €
Explore Brazil: 12 Key Facts Todd Kortemeier / Boek Gebonden (paperback)
common.buy 11.53 €
God, Science, and Religious Diversity Robert T Lehe / Boek Gebonden (paperback)
common.buy 20.95 €
Bio-based Materials for Food Packaging Shakeel Ahmed / Boek Gebonden (harde band)
common.buy 185.30 €
First Book of Jewish Jokes Elliott Oring / Boek Gebonden (harde band)
common.buy 75.13 €
Buckingham Palace Ashley Hicks / Boek Gebonden (harde band)
common.buy 47.38 €
TOP
Short Stories in French for Beginners Olly Richards / Boek Gebonden (paperback)
common.buy 10.62 €
Jungle Book Kipling / Boek Gebonden (harde band)
common.buy 10.12 €
Rise and Divine Lana Harper / Boek Gebonden (paperback)
common.buy 10.82 €
Murach's MySQL (4th Edition) Joel Murach / Boek Gebonden (paperback)
common.buy 44.85 €
TOP
Peerless (Novel) Vol. 1 Meng Xi Shi / Boek Gebonden (paperback)
common.buy 14.17 €
Narcoball David Arrowsmith / Boek Gebonden (harde band)
common.buy 21.66 €

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?