LIBRISTO
LIBROAMANTO
verplicht
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 DHL koeriersdienst 5.49 GLS koerier 4.99 DPD-punt 3.99

Gratis verzending vanaf 59,99 euro.

Specifying Software

A Hands-On Introduction

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Specifying Software R.D. Tennent
Libristo-code: 02044306
Uitgeverij Cambridge University Press, februari 2002
Provides an innovative hands-on introduction to techniques for specifying the behaviour of software... Volledige beschrijving
? points 274 b
113.53
In extern magazijn Wordt binnen 10-18 dagen verzonden

Retourneren binnen 30 dagen


Klanten kochten ook


Wordt verwacht
Rubinrot Kerstin Gier / Boek Gebonden (harde band)
common.buy 16.09
Albania. Pascal lajt Roksana Nowak / Boek Gebonden (paperback)
common.buy 6.67
Les scandales des hôpitaux de Paris et de l' Hôpital Pompidou Philippe Even / Boek Gebonden (paperback)
common.buy 25.31
Mayores en casa RUBIO GONZALEZ / Boek Gebonden (paperback)
common.buy 38.88
Les "livres Des Couvents," Un Genre Litt raire Arabe M di val Salah Yaiche / Boek Gebonden (paperback)
common.buy 94.28
Das Skript Arno Strobel / Boek Gebonden (paperback)
common.buy 11.84

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Specifying Software
Auteur R.D. Tennent
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2002
Aantal pagina's 302
EAN 9780521808149
ISBN 0521808146
Libristo-code 02044306
Gewicht 615
Afmetingen 152 x 229 x 21
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant


Montpelier Parade Karl Geary / Boek Gebonden (paperback)
common.buy 16.90
El Capitan Yosemite Conservancy / Boek Gebonden (harde band)
common.buy 12.45
Inflammatory Bowel Disease Ramona Rajapakse / Boek Gebonden (harde band)
common.buy 141.18
Maths - No Problem! Multiplication and Division, Ages 5-7 (Key Stage 1) Maths — No Problem! / Boek Gebonden (paperback)
common.buy 5.97
Learn to Program with Java JDK 15.0 John Smiley / Boek Gebonden (paperback)
common.buy 28.35
Introduction To Coastal Engineering And Management (Third Edition) J. William Kamphuis / Boek Gebonden (paperback)
common.buy 61.77
Advanced Grammar in Use Martin Hewings / Boek Gebonden (paperback)
common.buy 47.69
Mystery Solved Edward Marcus Dill / Boek Gebonden (harde band)
common.buy 32.60
Demetrius – Sacker of Cities James Romm / Boek Gebonden (paperback)
common.buy 12.95
Basketry and Weaving in the School KATHARINE PASCH / Boek Gebonden (harde band)
common.buy 26.93
Decision making in the EU before and after the Lisbon Treaty Amie Kreppel / Boek Gebonden (harde band)
common.buy 139.46
Reliability and Risk Models - Setting Reliability Requirements 2e Michael Todinov / Boek Gebonden (harde band)
common.buy 161.13
Advanced Design Techniques for RF Power Amplifiers Anna Rudiakova / Boek Gebonden (harde band)
common.buy 119.81
Britain's Persian Connection 1798-1828 Edward Ingram / Boek Gebonden (harde band)
common.buy 161.84
Collected Poems for Children Ted Hughes / Boek Gebonden (paperback)
common.buy 17.11

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?