Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • 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:

51,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: ProductSafety@springernature.com

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.