Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.99 € DHL koeriersdienst 5.99 € GLS koerier 5.49 € DPD-punt 4.49 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Deductive Program Design

Name: Deductive Program Design
Brand: Springer, Berlin
SKU: 01566102
Price: 204.39 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540609476

Manfred Broy

Taal

Engels

Boek Gebonden

Libristo-code: 01566102

Uitgeverij Springer, Berlin, november 1995

This volume presents some of the most advanced research in the description of distributed systems an... Volledige beschrijving

Libristo-code: 01566102

498 b

204.39 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Aclik Oyunlari 1 Suzanne Collins

Paperback

18.99 €

Da pacem - Frieden, gemischter Chor, Chorpartitur

Bladmuziek

36.67 €

Flora Brasiliensis: Algae, Lichenes, Hepaticae Karl Friedrich Philipp Von Martius

Paperback

38.88 €

Jose de San Martin y Domingo Faustino Sarmiento Gabriel Eduardo Brizuela

Paperback

345.69 €

Belleville Audrey Ndata

Paperback

12.55 €

2 Audio-CDs zum Kursbuch Erna Szakály

Audio cd

36.27 €

Population genetic processes of a Populus hybrid complex Georg Rathmacher

Paperback

47.72 €

17. und 18. Jahrhundert Peter Polenz

Gebonden

45.41 €

Das Kartengeheimnis Jostein Gaarder

Gebonden

18.48 €

Petit Livre de - Couscous, Tajines & co en 120 recettes Maya Nuq-Barakat

Paperback

4.61 €

Aus Da Hoamat: Bilder Aus Dem Natur Und Volksleben Des Innviertels (1893) Josef Reischl

Paperback

21.60 €

Praxisschock Marcel Naas

Paperback

23.20 €

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

Paperback

16.97 €

Der Ursprung des Christentums Karl Kautsky

Paperback

26.62 €

Caverna de Cristales Gigantes Hortensia De Los Santos

Paperback

11.35 €

Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C

Paperback

21.60 €

This volume presents some of the most advanced research in the description of distributed systems and the design calculi of software and of hardware using functional, algebraic, logical, and programming calculi. The deductive treatment of distributed systems is presented in its complete spectrum from formal foundations and functional system specifications to assertion calculi for the verification of system programs. A highlight is the use of model checking techniques for proving properties about finite state automaton systems with extremely large state sets. It is also shown how the formalisms can be used to treat hardware systems, with emphasis on development steps leading from high-level abstractions to concrete representations. An important notion treated is that of refinement concepts in system development.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Deductive Program Design

Auteur Manfred Broy

Taal

Engels

Bindwijze Boek - Gebonden

Datum van uitgifte 1996

Aantal pagina's 470

EAN 9783540609476

ISBN 3540609474

Libristo-code 01566102

Uitgeverij Springer, Berlin

Gewicht 836

Afmetingen 155 x 235 x 26

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Numerieke analyse

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Object-georiënteerd programmeren (OOP)

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

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