Proof and Computation (NATO ASI Subseries F:, Band 139) - Softcover

9783642793639: Proof and Computation (NATO ASI Subseries F:, Band 139)

Softcover

ISBN 10: 3642793630 ISBN 13: 9783642793639

Verlag: Springer, 2011

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2011
Sprache: Englisch
ISBN 10: 3642793630
ISBN 13: 9783642793639
Einband: Taschenbuch
Anzahl der Seiten: 488
Herausgeber: Schwichtenberg Helmut
Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Suchergebnisse f�r Proof and Computation (NATO ASI Subseries F:, Band...

Beispielbild f�r diese ISBN

Proof and Computation (NATO ASI Subseries F:, 139)

Verlag: Springer, 2011

ISBN 10: 3642793630 ISBN 13: 9783642793639

Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. In English. Artikel-Nr. ria9783642793639_new

Verk�ufer kontaktieren

Neu kaufen

EUR 130,10

EUR 13,36 Versand
Versand von Vereinigtes K�nigreich nach USA

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Proof and Computation

Helmut Schwichtenberg

Verlag: Springer Berlin Heidelberg, 2011

ISBN 10: 3642793630 ISBN 13: 9783642793639

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic. Artikel-Nr. 9783642793639

Verk�ufer kontaktieren