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: 20119732
Price: 31.19 EUR
Availability: InStock
Author: Daniel Kroening
ISBN: 9783662570654

An Algorithmic Point of View

Daniel Kroening

Ofer Strichman

Sprache

Englisch

Buch Broschur

Libristo-Code: 20119732

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

Libristo-Code: 20119732

76 b

31.19 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní

Hardcover

29.39 €

JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI

Broschur

10.89 €

Coloriages mystères Pixar Jérémy Mariez

Broschur

17.39 €

In altre parole Jhumpa Lahiri

Broschur

9.19 €

DaF Kompakt neu Birgit Braun

Broschur

32.50 €

Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling

Broschur

10.00 €

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 - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 356

EAN 9783662570654

Libristo-Code 20119732

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

Gewicht 580

Abmessungen 233 x 156 x 24

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Optimierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik

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