Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Decision Procedures

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

93 b

38.19 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Hardcover

35.99 €

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

Broschur

14.09 €

Lola MacKenzie - Der Ring des Herzogs. Life is a Story - story.one Franziska Deuter

Hardcover

18.00 €

Opowiem o tobie gwiazdom Edyta Prusinowska

Broschur

10.79 €

Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny

Broschur

11.99 €

Coloriages mystères Pixar Jérémy Mariez

Broschur

22.29 €

Ganz schön clever! Einzelblock (Spiel-Zubehör)

Papier- und Schreibwaren

6.59 €

Bella Germania Daniel Speck

Broschur

14.00 €

In altre parole Jhumpa Lahiri

Broschur

12.49 €

DaF Kompakt neu Birgit Braun

Broschur

35.89 €

Amokspiel Sebastian Fitzek

Broschur

12.99 €

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