Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

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

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Limba

engleză

Carte Carte broșată

Codul Libristo: 20306768

Editura Springer Nature Switzerland AG, noiembrie 2018

This volume contains a record of some of the lectures and seminars delivered at the Third Internatio... Descrierea completă

Codul Libristo: 20306768

132 b

284.91 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Theorie Der Bodensenkungen in Kohlengebieten Mit Besonderer Ber cksichtigung Der Eisenbahnsenkungen Des Ostrau-Karwiner Steinkohlenrevieres A.H. Goldreich

Carte broșată

292.70 lei

Establecimientos de Prostitucion en Bogota José Mario Mayorga Henao

Carte broșată

193.19 lei

Yenilenebilir Enerjide Mevzuat Sorunlar_na Yönelik Arast_rma Bilgen Özcan

Carte broșată

320.54 lei

Lieder für Gott und die Welt Dagmar Lay D.

Audio CD

97.11 lei

Jetzt seid Ihr dran! Unternehmensnachfolge richtig steuern Christian Huber

Carte broșată

326.87 lei

Georges Dumézil Droit

Carte broșată

103.34 lei

Antibióticos en odontopediatría Shalu Verma

Carte broșată

300.91 lei

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.