Specifying Software: A Hands-On Introduction - Brossura

Tennent, R. D.

Brossura

ISBN 10: 0521004012 ISBN 13: 9780521004015

Casa editrice: Cambridge University Press, 2010

Riassunto

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

Su questo libro

Informazioni sull?autore

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.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 0521004012
• ISBN 13: 9780521004015
• Rilegatura: Copertina flessibile
• Numero di pagine: 302
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia