Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic of Programming and Calculi of Discrete Design
  • Produktbild: Logic of Programming and Calculi of Discrete Design
Band 36

Logic of Programming and Calculi of Discrete Design International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Aus der Reihe NATO ASI Subseries F:

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.04.2012

Abbildungen

VII, 415 p. 12 illus.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

415

Maße (L/B/H)

24,4/17/2,4 cm

Gewicht

734 g

Auflage

Softcover reprint of the original 1st ed. 1987

Sprache

Englisch

ISBN

978-3-642-87376-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.04.2012

Abbildungen

VII, 415 p. 12 illus.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

415

Maße (L/B/H)

24,4/17/2,4 cm

Gewicht

734 g

Auflage

Softcover reprint of the original 1st ed. 1987

Sprache

Englisch

ISBN

978-3-642-87376-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: Logic of Programming and Calculi of Discrete Design
  • Produktbild: Logic of Programming and Calculi of Discrete Design
  • I: Programming Calculi.- An Introduction to the Theory of Lists.- A Heuristic Explanation of Batcher’s Baffler.- Predicative Methodology.- Termination Conventions and Comparative Semantics.- Predicative Communications.- Notes on Logic Programming.- II: Specification and Verification Calculi.- Program Specification and Verification in VDM.- Equational Specification of Partial Higher Order Algebras.- Extreme Solutions of Equations.- Logic Based on Programming.- Algebraic Specifications and Proofs for Communicating Sequential Processes.- III: Design and Construction Calculi.- Deduction and Computation.- Expressing Program Developments in a Design Calculus.- Models and Logic of MOS Circuits.- List of Lecturers.