Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Deductive Program Design

Name: Deductive Program Design
Brand: Springer, Berlin
SKU: 01566102
Price: 214.29 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540609476

Manfred Broy

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01566102

Verlag Springer, Berlin, November 1995

This volume presents some of the most advanced research in the description of distributed systems an... Vollständige Beschreibung

Libristo-Code: 01566102

524 b

214.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Aclik Oyunlari 1 Suzanne Collins

Broschur

20.99 €

Da pacem - Frieden, gemischter Chor, Chorpartitur

Noten

39.29 €

Der Ursprung des Christentums Karl Kautsky

Broschur

29.90 €

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

Broschur

18.95 €

Das Kartengeheimnis Jostein Gaarder

Hardcover

22.00 €

Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C

Broschur

21.99 €

17. und 18. Jahrhundert Peter Polenz

Hardcover

45.59 €

2 Audio-CDs zum Kursbuch Erna Szakály

Audio CD

36.09 €

Belleville Audrey Ndata

Broschur

14.09 €

This volume presents some of the most advanced research in the description of distributed systems and the design calculi of software and of hardware using functional, algebraic, logical, and programming calculi. The deductive treatment of distributed systems is presented in its complete spectrum from formal foundations and functional system specifications to assertion calculi for the verification of system programs. A highlight is the use of model checking techniques for proving properties about finite state automaton systems with extremely large state sets. It is also shown how the formalisms can be used to treat hardware systems, with emphasis on development steps leading from high-level abstractions to concrete representations. An important notion treated is that of refinement concepts in system development.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Deductive Program Design

Autor Manfred Broy

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1996

Anzahl der Seiten 470

EAN 9783540609476

ISBN 3540609474

Libristo-Code 01566102

Verlag Springer, Berlin

Gewicht 836

Abmessungen 155 x 235 x 26

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Numerische Mathematik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert