ISBN: 9780521808149 - specifying software: a hands-on introduction (15 risultati)

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condizione: New. In English.

Hardback. Condizione: New. 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.…

Condizione: New. pp. 302 1st Edition.

Buch. Condizione: 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.…

Hardcover. Condizione: Brand New. 289 pages. 9.50x6.25x1.00 inches. In Stock.

Condizione: 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; UYD. Category: (U) Tertiary Education (US: College). Dimension: 228 x 152 x 21. Weight in Grams: 615. . 2002. 1st Edition. hardcover. . . . . Books ship from the US and Ireland. …

Hardback. Condizione: New. 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.…

Condizione: 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; UYD. Category: (U) Tertiary Education (US: College). Dimension: 228 x 152 x 21. Weight in Grams: 615. . 2002. 1st Edition. hardcover. . . . . …

Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Hardcover. Condizione: new. Hardcover. 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. An introductory textbook on software specifications suitable for programming students with a background in discrete mathematics and logic. The author adopts a 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars and regular expressions. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Condizione: New. Print on Demand pp. 302 29 Illus.

Condizione: New. PRINT ON DEMAND pp. 302.

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique hands-on approach, presenting basic concepts in the context of numerous small programm.…

Buch. Condizione: Neu. Specifying Software | R. D. Tennent | Buch | Gebunden | Englisch | 2015 | Cambridge University Press | EAN 9780521808149 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.