Vor Ort
Merkzettel Warenkorb
  • Produktbild: Constructive Methods in Computing Science
  • Produktbild: Constructive Methods in Computing Science
Band 55

Constructive Methods in Computing Science International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Aus der Reihe NATO ASI Subseries F:

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2011

Abbildungen

VIII, 478 p.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

24,2/17/2,7 cm

Gewicht

834 g

Auflage

Softcover reprint of the original 1st edition 1989

Sprache

Englisch

ISBN

978-3-642-74886-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2011

Abbildungen

VIII, 478 p.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

478

Maße (L/B/H)

24,2/17/2,7 cm

Gewicht

834 g

Auflage

Softcover reprint of the original 1st edition 1989

Sprache

Englisch

ISBN

978-3-642-74886-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Constructive Methods in Computing Science
  • Produktbild: Constructive Methods in Computing Science
  • A Visionary Decision (After-dinner Speech).- I Constructive Logic and Type Theory.- Constructive Type Theory — An Introduction.- Assigning Meaning to Proofs: A Semantic Basis for Problem Solving Environments.- The Addition of Bounded Quantification and Partial Functions to a Computational Logic and Its Theorem Prover.- II Design Calculi.- Lectures on Constructive Functional Programming.- On a Problem Transmitted by Doug McIlroy.- A Computing Scientist’s Approach to a Once-deep Theorem of Sylvester’s.- The Derivation of a Proof by J. C. S. P. van der Woude.- Notes on an Approach to Category Theory for Computer Scientists.- III Specification, Construction, and Verification Calculi for Distributed Systems.- Towards a Design Methodology for Distributed Systems.- Specifying Distributed Systems.- A Foundation of Parallel Programming.- Design of Synchronization Algorithms.