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.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

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: 205.53 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540609476

Manfred Broy

Taal

Engels

Boek Gebonden (harde band)

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

205.53 €

In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Aclik Oyunlari 1 Suzanne Collins

Gebonden (paperback)

20.10 €

Da pacem - Frieden, gemischter Chor, Chorpartitur

Bladmuziek

38.09 €

Der Ursprung des Christentums Karl Kautsky

Gebonden (paperback)

26.77 €

Einfuhrung in die Verantwortung von Unternehmen Romina Bullan

Gebonden (paperback)

17.07 €

Das Kartengeheimnis Jostein Gaarder

Gebonden (harde band)

18.58 €

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

Gebonden (paperback)

21.21 €

17. und 18. Jahrhundert Peter Polenz

Gebonden (harde band)

46.07 €

2 Audio-CDs zum Kursbuch Erna Szakály

Audio cd

36.47 €

Belleville Audrey Ndata

Gebonden (paperback)

12.92 €

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 (harde band)

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