Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
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 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Deductive Program Design

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Deductive Program Design Manfred Broy
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
? points 498 b
206.04 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Aclik Oyunlari 1 Suzanne Collins / Boek Gebonden (paperback)
common.buy 20.15 €
Da pacem - Frieden, gemischter Chor, Chorpartitur / Drukwerk Bladmuziek
common.buy 37.78 €
Belleville Audrey Ndata / Boek Gebonden (paperback)
common.buy 12.96 €
2 Audio-CDs zum Kursbuch Erna Szakály / Audio Audio cd
common.buy 36.56 €
17. und 18. Jahrhundert Peter Polenz / Boek Gebonden (harde band)
common.buy 42.33 €
Petit Livre de - Couscous, Tajines & co en 120 recettes Maya Nuq-Barakat / Boek Gebonden (paperback)
common.buy 5.26 €
Flora Brasiliensis: Algae, Lichenes, Hepaticae Karl Friedrich Philipp Von Martius / Boek Gebonden (paperback)
common.buy 38.08 €
Praxisschock Marcel Naas / Boek Gebonden (paperback)
common.buy 23.39 €
Das Kartengeheimnis Jostein Gaarder / Boek Gebonden (harde band)
common.buy 18.63 €
Einfuhrung in die Verantwortung von Unternehmen Romina Bullan / Boek Gebonden (paperback)
common.buy 17.11 €
Der Ursprung des Christentums Karl Kautsky / Boek Gebonden (paperback)
common.buy 26.84 €
Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C / Boek Gebonden (paperback)
common.buy 21.26 €

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
Ewa Kasp
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

Dit vind je misschien ook interessant

Artificial Intelligence and Computational Intelligence Hepu Deng / Boek Gebonden (paperback)
common.buy 61.18 €
On-line Cognition in Person Perception John N. Bassili / Boek Gebonden (harde band)
common.buy 244.74 €
Louis Draycott. the Story of His Life. a Novel. Robert Stuart De Courcy Laffan / Boek Gebonden (paperback)
common.buy 22.28 €
Riemannian Geometry, Fibre Bundles, Kaluza-klein Theories And All That Arkadiusz Jadczyk / Boek Gebonden (harde band)
common.buy 134.83 €
Challenging the Absolute Simon F. Oliai / Boek Gebonden (harde band)
common.buy 95.11 €
International Political Sociology of Security Trine Berling / Boek Gebonden (harde band)
common.buy 244.74 €
Estrogeneration Anthony G. Jay / Boek Gebonden (harde band)
common.buy 49.12 €
Salt Water Game Fishing Charles Frederick Holder / Boek Gebonden (paperback)
common.buy 10.83 €
Episodes G. S. STREET / Boek Gebonden (paperback)
common.buy 22.58 €
His Innocent Bride Merry Farmer / Boek Gebonden (paperback)
common.buy 10.32 €
Halloween Coloring Book 25 Coloring Designs: Adult Coloring Book with Spooky Halloween Themed Designs Coloringforhealing / Boek Gebonden (paperback)
common.buy 9.41 €
Tenant of Wildfell Hall Anne Bront / E-book Adobe ePub DRM
common.buy 7.69 €
Vet at the End of the World Hollins / Boek Gebonden (harde band)
common.buy 23.09 €
TALE OF THE HEART QUEEN TULI NISHA J / Boek Gebonden (paperback)
common.buy 16.10 €
3D Printed Conducting Polymers Ram K. Gupta / Boek Gebonden (paperback)
common.buy 78.40 €
Absolutely Nasty(r) Sudoku Level 3 Frank Longo / Boek Gebonden (paperback)
common.buy 9.92 €
Criminological Imagination Jock Young / Boek Gebonden (harde band)
common.buy 77.18 €
Flesh and Blood Susan E. Lederer / Boek Gebonden (harde band)
common.buy 66.85 €
Growing Squashes & Pumpkins Richard Bird / Boek Gebonden (harde band)
common.buy 7.28 €
Complete Poems Of Anna Akhmatova Anna Akhmatova / Boek Gebonden (paperback)
common.buy 39.40 €
Dealing with Contaminated Sites Frank A. Swartjes / Boek Gebonden (harde band)
common.buy 237.24 €
Intermediate Spectral Theory and Quantum Dynamics César R. de Oliveira / Boek Gebonden (harde band)
common.buy 103.12 €
Conceptual Practices of Power Dorothy E. Smith / Boek Gebonden (paperback)
common.buy 28.76 €
International Handbook of Universities International / Boek Gebonden (harde band)
common.buy 1 098.93 €

Inloggen

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

 
verplicht
verplicht
Wachtwoord vergeten

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?