- 5 Ergebnisse
Kleinster Preis: € 90,57, größter Preis: € 132,21, Mittelwert: € 113,72
1
Proof and Computation - Helmut Schwichtenberg
Bestellen
bei Springer.com
€ 107,09
Bestellen
Details und Versand
gesponserter Link
Helmut Schwichtenberg:

Proof and Computation - neues Buch

ISBN: 9783642793615

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical … Mehr…

  - new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Proof and Computation - Ellen M. van Bueren
Bestellen
bei hive.co.uk
£ 80,33
(ca. € 90,57)
Bestellen
Details und Versand
gesponserter Link

Ellen M. van Bueren:

Proof and Computation - neues Buch

ISBN: 9783642793615

Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993; PDF; Scientific, Technical and Medical > Mathematical … Mehr…

No. 9783642793615. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
3
Bestellen
bei lehmanns.de
€ 132,21
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Helmut Schwichtenberg:
Proof and Computation - neues Buch

2012

ISBN: 9783642793615

eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2012

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei lehmanns.de
€ 125,75
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Helmut Schwichtenberg:
Proof and Computation - neues Buch

2012, ISBN: 9783642793615

eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]

Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei eBook.de
€ 112,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Proof and Computation - neues Buch

ISBN: 9783642793615

Proof and Computation ab 112.99 EURO Medien > Bücher, [PU: Springer, Berlin/Heidelberg/New York, NY]

  - Nr. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Proof and Computation
Autor:
Titel:
ISBN-Nummer:

9783642793615

Detailangaben zum Buch - Proof and Computation


EAN (ISBN-13): 9783642793615
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-05-09T07:17:32+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-03-14T10:44:19+01:00 (Berlin)
ISBN/EAN: 9783642793615

ISBN - alternative Schreibweisen:
978-3-642-79361-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: schwichtenberg

Daten vom Verlag:

Autor/in: Helmut Schwichtenberg
Titel: NATO ASI Series; Proof and Computation - Series F: Computer and Systems Sciences
Verlag: Springer; Springer Berlin
470 Seiten
Erscheinungsjahr: 2012-12-06
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
VII, 470 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Rechnerarchitektur und Logik-Entwurf; Verstehen; Abstract data types; Deduction; Deduktion; Konstruktive Methoden; Lineare Logik; Nebenläufigkeit; Prolog; Verteilte Systeme; computer; computer science; concurrency; development; distributed systems; linear logic; logic; C; Logic Design; Computer Communication Networks; Programming Techniques; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Computer Science; Netzwerk-Hardware; Computerprogrammierung und Softwareentwicklung; Software Engineering; Compiler und Übersetzer; Theoretische Informatik; BB

Program Development by Proof Transformation.- Concurrent Processes and Petri Nets.- Using Reflection to Explain and Enhance Type Theory.- On Geometry of Interaction.- Behavioural Specifications.- A Deductive Approach to Logic Programming.- Rewrite Proofs and Computations.- Action Structures and the Pi Calculus.- Linear Logic and Computation: A Survey.- Computable Functions on Stream Algebras.- The Proof Theoretic Complexity of Recursive Programs.
This volume contains a series of lectures by leading researchers on the impact of the concept of a formal proof on computation theory under several aspects: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
< zum Archiv...