Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
Österreichische Post 5.99 €
GLS-Kurier 5.49 €
DPD-Kurier 4.99 €
DPD-Stelle 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
GLS-Kurier 5.49 €
DPD-Kurier 4.99 €
DPD-Stelle 3.99 €
Kaufberater
Mein Konto
▸
Leer :-(
0
Sprache
Englisch
Englisch
Buch
Broschur
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
Libristo-Code: 20119732
?
78 b
78 b
31.79
€
inkl. MwSt.
Externes Lager
Wir versenden in 14-21 Tagen
Bis zu 30 Tage Rückgaberecht
Kunden kauften auch
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
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2018
Anzahl der Seiten
356
EAN
9783662570654
Libristo-Code
20119732
Gewicht
580
Abmessungen
233 x 156 x 24
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 geliefertDas könnte Sie auch interessieren
/
Broschur
14.29
€
/
Hardcover
32.39
€
Buchberater Libroamiko
Durch die Nutzung dieses Chats kommunizieren Sie mit generativer künstlicher Intelligenz. Mit der Nutzung erklären Sie sich auch mit der Verarbeitung personenbezogener Daten einverstanden.
Hallo! Ich bin Libroamiko, dein Buchberater.
Wie kann ich dir helfen?
Hallo, ich bin Libroamiko, kann ich helfen?