- 5 Ergebnisse
Kleinster Preis: € 7,29, größter Preis: € 45,06, Mittelwert: € 19,08
1
Bestellen
bei amazon.de
€ 45,06
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Specification and Validation Methods (International Schools for Computer Scientists) - gebunden oder broschiert

1995, ISBN: 9780198538547

Clarendon Press, Gebundene Ausgabe, 460 Seiten, Publiziert: 1995-09-01T00:00:01Z, Produktgruppe: Book, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Bücher, Künstl… Mehr…

Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Krocoworld
zuklappen (X)
2
Bestellen
bei Biblio.co.uk
$ 8,02
(ca. € 7,55)
Versand: € 10,081
Bestellen
Details beim Anbieter
gesponserter Link

Borger, E. (ed):

Specification and Validation Methods - gebunden oder broschiert

1995, ISBN: 9780198538547

Oxford Clarendon Press, 1995. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please no… Mehr…

Versandkosten: EUR 10.08 Anybook Ltd
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 8,03
(ca. € 7,29)
Versand: € 10,301
Bestellen
Details beim Anbieter
gesponserter Link
Borger, E. (ed):
Specification and Validation Methods - gebunden oder broschiert

1995

ISBN: 9780198538547

Clarendon Press, 1995. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. … Mehr…

Versandkosten: EUR 10.30 Anybook.com
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 7,96
(ca. € 7,49)
Versand: € 10,081
Bestellen
Details beim Anbieter
gesponserter Link
Borger, E. (ed):
Specification and Validation Methods - gebunden oder broschiert

1995, ISBN: 9780198538547

Clarendon Press, 1995. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. … Mehr…

Versandkosten: EUR 10.08 Anybook Ltd
zuklappen (X)
5
Bestellen
bei AbeBooks.de
€ 28,01
Versand: € 5,671
Bestellen
Details beim Anbieter
gesponserter Link
Borger, Egon (ed).:
SPECIFICATION AND VALIDATION METHODS. - gebunden oder broschiert

1995, ISBN: 0198538545

[EAN: 9780198538547], [PU: Oxford University Press], Computers & the Internet|Programming Languages|General, 1995.Oxford University Press. First. Near Fine, laminated cover,white titles o… Mehr…

Versandkosten: EUR 5.67 Cambridge Rare Books, Cambridge, United Kingdom [545787] [Rating: 5 (von 5)]
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Specification and Validation Methods (International Schools for Computer Scientists)
Autor:
Titel:
ISBN-Nummer:

0198538545


Here is a high-level introduction to the methods for specification and validation of computing systems, with a description of new developments in addition to state-of-the-art techniques. The chapters span the field, from the semantics of programming languages and their implementation (e.g. PROLOG, C++) to architecture design (VHDL), parallel and distributed programs, and protocols (e.g. kermit). The book is unique for two reasons. First, it combines an up-to-date survey with a systematic presentation of recent advances and new ideas and approaches. Second, its themes range from software to hardware design, and the proposed methods are applied to specification and validation of complex real life computing systems. Such an approach makes this an important book for researchers and graduate students in computer science and systems programmers.

Detailangaben zum Buch - Specification and Validation Methods (International Schools for Computer Scientists)


EAN (ISBN-13): 9780198538547
ISBN (ISBN-10): 0198538545
Gebundene Ausgabe
Erscheinungsjahr: 1995
Herausgeber: Borger, Egon, Clarendon Press

Buch in der Datenbank seit 2008-01-13T18:40:52+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-31T19:22:38+02:00 (Berlin)
ISBN/EAN: 0198538545

ISBN - alternative Schreibweisen:
0-19-853854-5, 978-0-19-853854-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: borger, egon brger
Titel des Buches: validation

< zum Archiv...