Verwandte Artikel zu Specifying Software: A Hands-On Introduction
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.
Suchergebnisse für Specifying Software: A Hands-On Introduction
Beispielbild für diese ISBN
Specifying Software : A Hands-On Introduction
Verlag:
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Gebraucht
Softcover
Erstausgabe
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 10936449-6
Gebraucht kaufen
EUR 9,12
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specifying Software: A Hands-On Introduction
Verlag:
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Gebraucht
Paperback
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fine. Artikel-Nr. GOR013528050
Gebraucht kaufen
EUR 3,35
EUR 6,51 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specifying Software: A Hands-On Introduction
Verlag:
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Gebraucht
Paperback
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Artikel-Nr. GOR003091516
Gebraucht kaufen
EUR 3,35
EUR 6,51 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specifying Software: A Hands-On Introduction
Verlag:
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Gebraucht
Paperback
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0521004012I3N00
Gebraucht kaufen
EUR 10,38
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specifying Software : A Hands-On Introduction
Verlag:
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Gebraucht
Softcover
Erstausgabe
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 10936449-6
Gebraucht kaufen
EUR 5,67
EUR 5,82 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specifying Software: A Hands-On Introduction
Verlag:
Cambridge University Press, 2002
ISBN 10: 0521004012
ISBN 13: 9780521004015
Gebraucht
Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780521004015. Artikel-Nr. 5786811
Gebraucht kaufen
EUR 21,74
EUR 15,82 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Specifying Software: A Hands-On Introduction
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Artikel-Nr. ria9780521004015_new
Neu kaufen
EUR 65,68
EUR 13,13 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Specifying Software: A Hands-On Introduction
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. An innovative hands-on introduction to techniques for specifying the behaviour of software components. Num Pages: 302 pages, 29 b/w illus. 1 table 215 exercises. BIC Classification: UMZ. Category: (U) Tertiary Education (US: College). Dimension: 228 x 152 x 17. Weight in Grams: 479. . 2010. paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521004015
Neu kaufen
EUR 81,09
EUR 9,23 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Specifying Software : A Hands-On Introduction
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. Artikel-Nr. 9780521004015
Neu kaufen
EUR 98,68
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar