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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Engineering Trustworthy Software Systems Jonathan P. Bowen
Libristo kod: 16013577
Nakladnici Springer International Publishing AG, travanj 2017
This volume contains a record of some of the lectures and seminars delivered at the Second Internati... Cijeli opis
? points 122 b
50.54 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

AULA AMIGOS INTERNACIONAL 2 – GUIA DIDÁCTICA J. A. Ayllón / Knjiga Knjiga
common.buy 28.20 €
My Hero Academia 10 Moje hrdinská akademie Kóhei Horikoši / Knjiga Meki uvez
common.buy 8.08 €
Jews and Christians in Medieval Europe: The Historiographical Legacy of Bernhard Blumenkranz Philippe Buc / Knjiga Meki uvez
common.buy 121.71 €
Unterleibsbruche Ernst Graser / Knjiga Meki uvez
common.buy 35.68 €
Pripremamo
Sedm pohádek Antonína Langweila Kateřina Bečková / Knjiga List
common.buy 11.82 €
NOCIONES JURIDICAS DE EMPRESA LOPEZ DIAZ / Knjiga Knjiga
common.buy 35.88 €
Nanopartículas de plata con curcumina: Una estrategia eficaz para el tratamiento del cáncer Ashish Garg / Knjiga Meki uvez
common.buy 32.04 €
El hombre que pudo ser libre Javier Zuloaga / Knjiga Meki uvez
common.buy 22.13 €
Premonicions Emili Bayo / Knjiga Meki uvez
common.buy 13.84 €
Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre / Knjiga Meki uvez
common.buy 13.54 €
Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym / Knjiga Meki uvez
common.buy 32.04 €
Instructions Chrestiennes Sur Les Mysteres de Nostre Seigneur Jesus-Christ. Tome 4 SINGLIN-A / Knjiga Meki uvez
common.buy 43.36 €
Cosmo più servizi. Divagazioni su artisti, diorami, cimiteri e vecchie zie rimaste signorine Antonio Riccardi / Knjiga Meki uvez
common.buy 17.38 €
Leggenda privata Michele Mari / Knjiga Meki uvez
common.buy 20.51 €
Bienheureuse Staritsa Matrona Sofia Knjiga Meki uvez
common.buy 8.48 €
Forcenés Bordas / Knjiga Meki uvez
common.buy 12.02 €
Mozart-Collection Baltisches Festival Orchester / Audio Audio CD
common.buy 8.79 €
La rentabilidad de las acciones de capital del sector construcción Edwin Jhon Aquise Dueñas / Knjiga Meki uvez
common.buy 55.09 €
Traite de Confiture Ou Le Nouveau Et Parfait Confiturier (Ed.1689) Sans Auteur / Knjiga Meki uvez
common.buy 25.36 €
Angst und Macht Rainer Mausfeld / Knjiga Meki uvez
common.buy 13.54 €
traumatischen Neurosen Hermann Oppenheim / Knjiga Meki uvez
common.buy 25.57 €
SIRT FOOD IBON GARCIA DE MIGUEL / Knjiga Meki uvez
common.buy 16.17 €

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 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 courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. 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 2017
Broj stranica 259
EAN 9783319568409
ISBN 331956840X
Libristo kod 16013577
Nakladnici Springer International Publishing AG
Težina 4219
Dimenzije 155 x 235 x 15

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

Computer Science and Engineering-Theory and Applications Leocundo Aguilar / Knjiga Meki uvez
common.buy 154.26 €
Distributed Virtual Worlds Stephan Diehl / Knjiga Meki uvez
common.buy 50.54 €
Reconnaissance of the Golden Northwest / Knjiga Meki uvez
common.buy 18.39 €
Top
Uncovering Aleister Crowley's Thoth Tarot Valentina Nightingale / Tiskanica Karte
common.buy 24.76 €
Slup Zupagrafika / Knjiga Tvrdi uvez
common.buy 24.05 €
Top
The Ink Black Heart Joanne Kathleen Rowling / Knjiga Meki uvez
common.buy 10.81 €
Law of Tax-Exempt Organizations, 2018 Cumulative Supplement Hopkins Bruce R. Hopkins / E-knjiga Adobe ePub DRM
common.buy 244.13 €
Introduction to Statistics Through Resampling Methods and R Phillip I. Good / E-knjiga Adobe ePub DRM
common.buy 69.34 €
The Fowl Twins Get What They Deserve Eoin Colfer / Knjiga Meki uvez
common.buy 7.67 €
Instructions For Forreine Travell (1642) James Howell / Knjiga Meki uvez
common.buy 21.22 €
Understanding the Volatile and Dangerous Middle East STEVEN CAROL / Knjiga Meki uvez
common.buy 30.52 €
Modern Approach to the Perimenopausal Years Robert B. Greenblatt / Knjiga Tvrdi uvez
common.buy 109.17 €
Lol ma; Or, Two Years in Cannibal-Land. a Story of Old Fiji HENRY BRITTON / Knjiga Meki uvez
common.buy 21.73 €
Preaching To The Crieurs: A Family Saga Td Giddens / Knjiga Meki uvez
common.buy 12.12 €
Engineering Graphics with SOLIDWORKS 2017 (Including unique access code) David Planchard / Knjiga Meki uvez
common.buy 83.90 €
Grammar and Beyond Level 3 Student's Book and Writing Skills Interactive Pack Alice Savage / Knjiga Tvrdi uvez
common.buy 67.52 €
Long Time Gone Alexander Bloom / Knjiga Tvrdi uvez
common.buy 161.64 €
Spoiled Silk George William Shea / Knjiga Meki uvez
common.buy 48.21 €
Novel Approach to the Study of Noble Metals Peggy Rusk / Knjiga Tvrdi uvez
common.buy 126.36 €
Grade 5: Skills Links Student Edition 2009 Ucsmp / Knjiga Tvrdi uvez
common.buy 30.72 €
Introducing Learning and Memory Richard Appignanesi / Knjiga Meki uvez
common.buy 5.95 €
English Synonyms, Classified And Explained George Frederick Graham / Knjiga Tvrdi uvez
common.buy 45.79 €
Arctic Explorations in the Years 1853,'54,'55 M.D. U.S.N. Elisha Kent Kane / Knjiga Meki uvez
common.buy 29.91 €

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?