Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Engineering Trustworthy Software Systems

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Engineering Trustworthy Software Systems Jonathan P. Bowen
Libristo kod: 20306768
Nakladnici Springer Nature Switzerland AG, studeni 2018
This volume contains a record of some of the lectures and seminars delivered at the Third Internatio... Cijeli opis
? points 125 b
51.65 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Georges Dumézil Droit / Knjiga Meki uvez
common.buy 18.69 €
LA RELIURE TECHNIQUES DECORATIVES Cambras / Knjiga Meki uvez
common.buy 33.76 €
Antibióticos en odontopediatría Shalu Verma / Knjiga Meki uvez
common.buy 54.28 €
Jetzt seid Ihr dran! Unternehmensnachfolge richtig steuern Christian Huber / Knjiga Meki uvez
common.buy 59.23 €
Top
Lehr- und Übungsbuch Vesna Kosovac / Knjiga Meki uvez
common.buy 24.35 €
Logika wystarczy Stanislaw Michalkiewicz / Knjiga Meki uvez
common.buy 11.82 €
Lieder für Gott und die Welt Dagmar Lay D. / Audio Audio CD
common.buy 17.68 €
Yenilenebilir Enerjide Mevzuat Sorunlar_na Yönelik Arast_rma Bilgen Özcan / Knjiga Meki uvez
common.buy 57.82 €
Establecimientos de Prostitucion en Bogota José Mario Mayorga Henao / Knjiga Meki uvez
common.buy 34.87 €
Mit Virtuellen Unternehmen Zum Erfolg Nils Bickhoff / Knjiga Meki uvez
common.buy 35.88 €
Theorie Der Bodensenkungen in Kohlengebieten Mit Besonderer Ber cksichtigung Der Eisenbahnsenkungen Des Ostrau-Karwiner Steinkohlenrevieres A.H. Goldreich / Knjiga Meki uvez
common.buy 53.06 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Engineering Trustworthy Software Systems
Autor Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2018
Broj stranica 219
EAN 9783030029272
ISBN 9783030029272
Libristo kod 20306768
Nakladnici Springer Nature Switzerland AG
Težina 373
Dimenzije 155 x 235 x 14

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Information technology: general issues
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Problems in Hydraulics and Fluid Mechanics Luca Chiapponi / Knjiga Meki uvez
common.buy 37.60 €
Woulda Coulda Shoulda Guide to Canadian Inventions Red Green / Knjiga Meki uvez
common.buy 13.74 €
Port Colborne Ontario Book 1 in Colour Photos: Saving Our History One Photo at a Time Mrs Barbara Raue / Knjiga Meki uvez
common.buy 15.76 €
series of letters from London written during the years 1856, '57, '58, '59, and '60 Julia Dallas / Knjiga Meki uvez
common.buy 28.50 €
The Standard Of Pronunciation In English (1904) Thomas R. Lounsbury / Knjiga Meki uvez
common.buy 28.80 €
Progress in Drug Research Ernest Jucker / Knjiga Tvrdi uvez
common.buy 547.72 €
Picardia Cubana En Versos P R Santos / Knjiga Meki uvez
common.buy 13.54 €
The History Of The Church Of England V2: In The Colonies And Foreign Dependencies Of The British Empire James S. M. Anderson / Knjiga Meki uvez
common.buy 45.79 €
End of Tour Leo P Whittlesey / Knjiga Meki uvez
common.buy 11.31 €
Top
The Official Cambridge Guide to IELTS Student's Book with Answers Pauline Cullen / Knjiga Meki uvez
common.buy 41.03 €
Dissimilarity Representation For Pattern Recognition, The: Foundations And Applications Duin / Knjiga Tvrdi uvez
common.buy 269.10 €
Novo
Witches' Forbidden Herbs Silva / Knjiga Meki uvez
common.buy 19.80 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?