A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Deductive Program Design

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Deductive Program Design Manfred Broy
Libristo kód: 01566102
Kiadó Springer, Berlin, november 1995
This volume presents some of the most advanced research in the description of distributed systems an... Teljes leírás
? points 541 b
79 646 Ft
Beszállítói készleten Küldés 10-13 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Aclik Oyunlari 1 Suzanne Collins / Könyv Puha kötésű
common.buy 7 775 Ft
Da pacem - Frieden, gemischter Chor, Chorpartitur / Nyomtatványok Kotta
common.buy 13 580 Ft
Der Ursprung des Christentums Karl Kautsky / Könyv Puha kötésű
common.buy 10 441 Ft
Einfuhrung in die Verantwortung von Unternehmen Romina Bullan / Könyv Puha kötésű
common.buy 6 669 Ft
Das Kartengeheimnis Jostein Gaarder / Könyv Kemény kötésű
common.buy 7 292 Ft
Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C / Könyv Puha kötésű
common.buy 8 160 Ft
17. und 18. Jahrhundert Peter Polenz / Könyv Kemény kötésű
common.buy 15 642 Ft
2 Audio-CDs zum Kursbuch Erna Szakály / Hanganyagok Audio CD
common.buy 12 326 Ft
Belleville Audrey Ndata / Könyv Puha kötésű
common.buy 4 612 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Deductive Program Design
Szerző Manfred Broy
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 1996
Oldalszám 470
EAN 9783540609476
ISBN 3540609474
Libristo kód 01566102
Kiadó Springer, Berlin
Súly 836
Méretek 155 x 235 x 26

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Matematika és természettudomány > Matematika > Kalkulus és matematikai analízis > Numerikus analízis
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Objektumközpontú programozás (OOP)
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Artificial Intelligence and Computational Intelligence Hepu Deng / Könyv Puha kötésű
common.buy 21 382 Ft
Criminological Imagination Jock Young / Könyv Kemény kötésű
common.buy 29 413 Ft
3D Printed Conducting Polymers Ram K. Gupta / Könyv Puha kötésű
common.buy 27 128 Ft
Toplistás
TALE OF THE HEART QUEEN TULI NISHA J / Könyv Puha kötésű
common.buy 5 582 Ft
His Innocent Bride Merry Farmer / Könyv Puha kötésű
common.buy 3 976 Ft
Episodes G. S. STREET / Könyv Puha kötésű
common.buy 8 643 Ft
Estrogeneration Anthony G. Jay / Könyv Kemény kötésű
common.buy 16 260 Ft
International Political Sociology of Security Trine Berling / Könyv Kemény kötésű
common.buy 89 677 Ft
Louis Draycott. the Story of His Life. a Novel. Robert Stuart De Courcy Laffan / Könyv Puha kötésű
common.buy 8 704 Ft
Flesh and Blood Susan E. Lederer / Könyv Kemény kötésű
common.buy 17 216 Ft
Dealing with Contaminated Sites Frank A. Swartjes / Könyv Kemény kötésű
common.buy 82 948 Ft
Intermediate Spectral Theory and Quantum Dynamics César R. de Oliveira / Könyv Kemény kötésű
common.buy 39 881 Ft
International Handbook of Universities International / Könyv Kemény kötésű
common.buy 416 434 Ft
Conceptual Practices of Power Dorothy E. Smith / Könyv Puha kötésű
common.buy 10 914 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?