Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Specifying Software

Name: Specifying Software
Brand: Cambridge University Press
SKU: 02017466
Price: 62.09 EUR
Availability: InStock
Author: R. D. Tennent
ISBN: 9780521004015

A Hands-On Introduction

R. D. Tennent

Lingua

Inglese

Libro In brossura

Codice Libristo: 02017466

Casa editrice Cambridge University Press, febbraio 2002

Provides an innovative hands-on introduction to techniques for specifying the behaviour of software... Descrizione completa

Codice Libristo: 02017466

152 b

62.09 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

Potrebbe interessarti anche

Effective C Robert C. Seacord

In brossura

37.79 €

Hands-On Reactive Programming in Spring 5 Oleh Dokuka

In brossura

49.09 €

A Practical Treatise On the Manufacture of Perfumery: Comprising Directions for Making All Kinds of Perfumes, Sachet Powders, Fumigating Materials, De Carl Deite

In brossura

24.79 €

Vincent van Gogh: A Life in Letters BAAKER NIENKE

Rigido

30.89 €

Tales from the Loop Simon Stalenhag

Rigido

27.89 €

Operating Systems K. Reddy Pradeep

In brossura

21.59 €

Evermore Academy Audrey Grey

In brossura

16.89 €

American English File: Level 2: Student Book/Workbook Multi-Pack B with Online Practice Clive Oxenden

In brossura

51.99 €

Long Table Cookbook Amy Symington

In brossura

27.59 €

British Civilization John Oakland

In brossura

53.29 €

Trans-Europe Express Owen Hatherley

In brossura

12.49 €

Blue Planet Iveta Slobodnikova

In brossura

36.29 €

The Ultimate Dandelion Medicine Book: 40 Recipes for Using Dandelion Leaves, Flowers, Stems & Roots as Medicine Kristina Seleshanko

In brossura

7.59 €

LEGO Amazing Vehicles DK

Rigido

17.99 €

Love in Limbo, Vol. 2 Haji

In brossura

11.79 €

Rubber Recycling PROSENJI JIN KUK KIM

Rigido

224.19 €

SIMPLE LESSONS IN ENGLISH GRAMMAR THOMAS MCL DAVIDSON

In brossura

13.70 €

Astronomers' Magic Envelope PRASENJIT SAHA

In brossura

44.49 €

The Talking Typewriter Margaret Pratt

In brossura

11.39 €

Montgomery: A City Haunted by History Shawn Sellers

In brossura

15.20 €

Night Always Comes MR Paul John Hausleben

In brossura

12.89 €

Vagina Mundi Wol-Vriey

In brossura

18.10 €

Life of Joseph, the Son of Israel John Macgowan

In brossura

20.59 €

CHRONIC DISEASES - Lymes, HPV, HSV Mis-DIAGNOSIS AND misTREATMENT M.D. N TANEJA-UPPAL

Rigido

30.79 €

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.