Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Deductive Program Design

Limba englezăengleză
Carte Copertă tare
Carte Deductive Program Design Manfred Broy
Codul Libristo: 01566102
Editura Springer, Berlin, noiembrie 1995
This volume presents some of the most advanced research in the description of distributed systems an... Descrierea completă
? points 525 b
1 139.23 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Aclik Oyunlari 1 Suzanne Collins / Carte Carte broșată
common.buy 111.36 lei
Da pacem - Frieden, gemischter Chor, Chorpartitur / Materiale tipărite Note muzicale
common.buy 200.20 lei
Der Ursprung des Christentums Karl Kautsky / Carte Carte broșată
common.buy 149.00 lei
Einfuhrung in die Verantwortung von Unternehmen Romina Bullan / Carte Carte broșată
common.buy 95.09 lei
Das Kartengeheimnis Jostein Gaarder / Carte Copertă tare
common.buy 103.75 lei
Action Des Sels Mineraux Sur La Forme Et La Structure Des Vegetaux DASSONVILLE-C / Carte Carte broșată
common.buy 116.99 lei
17. und 18. Jahrhundert Peter Polenz / Carte Copertă tare
common.buy 230.86 lei
2 Audio-CDs zum Kursbuch Erna Szakály / Audio Audio CD
common.buy 181.75 lei
Belleville Audrey Ndata / Carte Carte broșată
common.buy 67.98 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Deductive Program Design
Autor Manfred Broy
Limba engleză
Legare Carte - Copertă tare
Data publicării 1996
Număr pagini 470
EAN 9783540609476
ISBN 3540609474
Codul Libristo 01566102
Editura Springer, Berlin
Greutatea 836
Dimensiuni 155 x 235 x 26

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Artificial Intelligence and Computational Intelligence Hepu Deng / Carte Carte broșată
common.buy 307.30 lei
Criminological Imagination Jock Young / Carte Copertă tare
common.buy 422.84 lei
3D Printed Conducting Polymers Ram K. Gupta / Carte Carte broșată
common.buy 389.99 lei
Top
TALE OF THE HEART QUEEN TULI NISHA J / Carte Carte broșată
common.buy 79.45 lei
His Innocent Bride Merry Farmer / Carte Carte broșată
common.buy 57.13 lei
Episodes G. S. STREET / Carte Carte broșată
common.buy 124.18 lei
Estrogeneration Anthony G. Jay / Carte Copertă tare
common.buy 231.70 lei
International Political Sociology of Security Trine Berling / Carte Copertă tare
common.buy 1 289.49 lei
Louis Draycott. the Story of His Life. a Novel. Robert Stuart De Courcy Laffan / Carte Carte broșată
common.buy 123.98 lei
Flesh and Blood Susan E. Lederer / Carte Copertă tare
common.buy 241.71 lei
Dealing with Contaminated Sites Frank A. Swartjes / Carte Copertă tare
common.buy 1 190.64 lei
Intermediate Spectral Theory and Quantum Dynamics César R. de Oliveira / Carte Copertă tare
common.buy 570.50 lei
International Handbook of Universities International / Carte Copertă tare
common.buy 5 999.73 lei
Conceptual Practices of Power Dorothy E. Smith / Carte Carte broșată
common.buy 157.03 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo