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.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Decision Procedures

Name: Decision Procedures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02981250
Price: 42.69 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

104 b

42.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Talsperrenstatik Othmar J. Rescher

Broschur

54.99 €

BRUNO ET JEAN VALADE PAULINE

Broschur

22.79 €

Kiss of the Spider Woman

Audio CD

19.99 €

Coloriages mystères - Jardins extraordinaires

Broschur

15.99 €

Correspondance volume 3 Aux laïcs et aux évêques (lettres 617-848) Barsanuphe

Broschur

40.19 €

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

Broschur

22.99 €

Le lynx Dupérat

Broschur

13.59 €

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

Hardcover

7.79 €

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

Broschur

21.39 €

La peluche Gaston la licorne

Spielzeug

16.89 €

Everyday Escape 1 Verena Maser

Broschur

7.99 €

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

Broschur

13.89 €

Prolongations François-Guillaume Lorrain

Broschur

16.49 €

Das kleine WIR im Kindergarten Daniela Kunkel

Hardcover

15.00 €

Cesta národního konzervatismu Viktor Orbán

Hardcover

12.99 €

Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe

Broschur

0.49 €

Robin druhý a jeho rodina Zdena Frýbová

Hardcover

9.29 €

Biblia Para Ninos Epoca Editorial

Broschur

5.59 €

Der Schachwettkampf Tarrasch-Mieses Im Herbst 1916 Tarrasch

Hardcover

119.95 €

Meie keelesild. Viron kielen oppikirja Viive Taro

Broschur

58.99 €

UNI voděodolný liner - sépie 0,5 mm

Papier- und Schreibwaren

1.29 €

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