Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Logic of Computation Helmut Schwichtenberg

Name: Logic of Computation Helmut Schwichtenberg
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080043285
Price: 85.55 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

85,55 €

Titel: Logic of Computation, Einband: Taschenbuch, Autor: Helmut Schwichtenberg, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 416, Maße: 235x155x23 mm, Gewicht: 628 g, Verkäufer: buch-mimpf, Schlagworte: Logic Programming Program Specification Program Verification Typentheorie computer logic programming proof theory type theory verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

416
Gewicht:

628
Einband:

Taschenbuch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Logic of Computation
Buchtitel:

Logic of Computation
Untertitel:

Keine Angabe
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Logic Programming Program Specification Program Verification...
ISBN:

9783642638329
Reihe:

Nato Asi Subseries F:
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2012
Anzahl der Seiten:

416 Seiten
Autor:

Helmut Schwichtenberg
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Logic of Computation
Sprache:

Englisch

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 15. May 2025 und 17. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere