Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Decision Procedures

Name: Decision Procedures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02981250
Price: 50.43 EUR
Availability: InStock
Author: Daniel Kroening
ISBN: 9783662504963

An Algorithmic Point of View

Daniel Kroening

Ofer Strichman

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 02981250

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2017

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...

Libristo-code: 02981250

122 b

50.43 €

In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Talsperrenstatik Othmar J. Rescher

Gebonden (paperback)

53.16 €

עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari

Gebonden (paperback)

16.50 €

Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe

Gebonden (paperback)

0.70 €

12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe

Gebonden (harde band)

10.12 €

Gift from the Trees Mammal Hands Audio

Audio vinyl

33.62 €

Meie keelesild. Viron kielen oppikirja Viive Taro

Gebonden (paperback)

66.84 €

Prolongations François-Guillaume Lorrain

Gebonden (paperback)

19.74 €

Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Boek

Gebonden (paperback)

26.53 €

Das kleine WIR im Kindergarten Daniela Kunkel

Gebonden (harde band)

12.75 €

Ordnung im Mund macht gesund Irmgard Simma-Kletschka

Gebonden (paperback)

25.11 €

Ukulele Melody-Chord-Concept Patrick Steinbach

Gebonden (paperback)

18.83 €

Basiswissen Mathematik auf Arabisch und Deutsch - Ø§Ø³Ø§Ø³ÙŠØ§Øª ÙÙŠ Ø§Ù„Ø±ÙŠØ§Ø¶ÙŠØ§Øª Ø¨Ø§Ù„Ù„ØºØªÙŠÙ† Ø§Ù„Ø¹Ø±Ø¨ÙŠØ© ÙˆØ§Ù„Ø§Ù„Ù…Ø§Ù†ÙŠØ© Moritz Weber

Gebonden (paperback)

26.73 €

Puedo soñar contigo BLUE JEANS

Gebonden (harde band)

11.74 €

Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo

Gebonden (paperback)

25.31 €

Biblia Para Ninos Epoca Editorial

Gebonden (paperback)

6.27 €

Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx

Gebonden (paperback)

19.03 €

Hafenmanöver Schritt für Schritt Lars Bolle

Gebonden (paperback)

21.56 €

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

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 (harde band)

Datum van uitgifte 2017

Aantal pagina's 356

EAN 9783662504963

ISBN 3662504960

Libristo-code 02981250

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 722

Afmetingen 165 x 244 x 26

Categorieën

Wiskunde en wetenschap > Wiskunde > Optimalisatie

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Besturingssystemen

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