Specifying Software: A Hands-On Introduction - Softcover

Tennent, R. D.

 
9780521004015: Specifying Software: A Hands-On Introduction
Softcover
ISBN 10: 0521004012 ISBN 13: 9780521004015
Verlag: Cambridge University Press, 2010

Inhaltsangabe

An innovative hands-on introduction to techniques for specifying the behaviour of software components.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

R. D. Tennent is Professor of Computing and Information Science at Queen's University in Kingston, Canada, where he has been teaching since 1971. He has also held visiting positions at the University of Grenoble, Oxford University, and the University of Edinburgh. He has published three other books - Principles of Programming Languages (1981), Semantics of Programming Languages (1991), and Algol-like Languages (1997, co-edited with Peter O'Hearn) as well as more than 25 articles in scientific journals. His research interests encompass the design, description, and effective implementation and use of programming languages including: denotational semantics; applications of formal semantics to language design; formal systems for specifying, developing, and verifying programs; advanced type systems and their description; integration of functional and procedural programming; and programming methodology.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
0521004012
ISBN 13 
9780521004015
Einband
Taschenbuch
Anzahl der Seiten
302
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Deutschland