Cliff B Jones: Theories of Programming | Buch

Cover: 9781450387286 | Theories of Programming | The Life and Works of Tony Hoare | Buch

Rückseite: 9781450387286 | Theories of Programming | The Life and Works of Tony Hoare | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

59,00 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence of his various works - the quest for effective abstractions - both in his own words as well as chapters written by leading experts in the field.

Über den Autor

Cliff Jones is Emeritus Professor of Computing (and now employed as Senior Research Investigator) at Newcastle University (UK). His doctorate from Oxford under Tony Hoare's supervision marked a transition from 15 years at IBM to a chair at Manchester University. As well as his main research in concurrency, he has a strong interest in the history of computing.

Jayadev Misra is the Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. His research interests are in formal methods related to concurrency, which has brought him in contact with Sir Tony Hoare for over four decades. He joined Tony in the Verified Software Initiative (VSI) project since its inception, and continues to participate in it fully.

Erscheinungsjahr:	2021
Fachbereich:	EDV
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Buch
Inhalt:	Einband - fest (Hardcover)
ISBN-13:	9781450387286
ISBN-10:	1450387284
Sprache:	Englisch
Einband:	Gebunden
Autor:	Cliff B. Jones Jayadev Misra
Redaktion:	Jones, Cliff B Misra, Jayadev
Hersteller:	Association for Computing Machinery and Morgan & Claypool Publishers
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 191 x 25 mm
Von/Mit:	Cliff B Jones (u. a.)
Erscheinungsdatum:	26.09.2021
Gewicht:	0,984 kg

Ähnliche Produkte