Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Decision Procedures

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

An Algorithmic Point of View

Daniel Kroening

Ofer Strichman

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02981250

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

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

Libristo-Code: 02981250

127 b

52.09 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Talsperrenstatik Othmar J. Rescher

Broschur

55.29 €

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

Broschur

17.09 €

Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe

Broschur

0.79 €

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

Hardcover

11.09 €

Gift from the Trees Mammal Hands Audio

Audio Vinyl

33.19 €

Meie keelesild. Viron kielen oppikirja Viive Taro

Broschur

69.59 €

Prolongations François-Guillaume Lorrain

Broschur

20.19 €

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

Broschur

27.39 €

Das kleine WIR im Kindergarten Daniela Kunkel

Hardcover

15.00 €

Ordnung im Mund macht gesund Irmgard Simma-Kletschka

Broschur

27.99 €

Ukulele Melody-Chord-Concept Patrick Steinbach

Broschur

20.90 €

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

Broschur

26.39 €

Puedo soñar contigo BLUE JEANS

Hardcover

11.59 €

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

Broschur

26.19 €

Biblia Para Ninos Epoca Editorial

Broschur

6.49 €

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

Broschur

19.69 €

Hafenmanöver Schritt für Schritt Lars Bolle

Broschur

24.90 €

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.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Decision Procedures

Autor Daniel Kroening, Ofer Strichman

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2017

Anzahl der Seiten 356

EAN 9783662504963

ISBN 3662504960

Libristo-Code 02981250

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

Gewicht 722

Abmessungen 165 x 244 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Optimierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert