Annabelle Mclver: Programming Methodology

Cover: 9781441929648 | Programming Methodology | Annabelle Mclver (u. a.) | Taschenbuch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

102,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

*A state-of-the-art survey and tutorial for key new topics in programming methodology written by leading international computer scientists and programmers *Essential guide to modern software theory and practice for programmers, developers, computer scientists, and software engineers

Zusammenfassung

Inhaltsverzeichnis

(parts and sections listed)
Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior]

Part II: Programming techniques [object orientation, type theory]

Part III: Applications and automated theories
[putting theories into practice by automation, programming circuits, security and keeping secrets]

Details

Erscheinungsjahr:	2010
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	xviii 470 S.
ISBN-13:	9781441929648
ISBN-10:	1441929649
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Redaktion:	Mclver, Annabelle Morgan, Carroll
Herausgeber:	Annabelle Mclver/Carroll Morgan
Hersteller:	Springer Springer US, New York, N.Y.
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	235 x 155 x 27 mm
Von/Mit:	Annabelle Mclver (u. a.)
Erscheinungsdatum:	03.12.2010
Gewicht:	0,733 kg