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.

Engineering Trustworthy Software Systems

Limba englezăengleză
Carte Carte broșată
Carte Engineering Trustworthy Software Systems Jonathan P. Bowen
Codul Libristo: 16013577
Editura Springer International Publishing AG, aprilie 2017
This volume contains a record of some of the lectures and seminars delivered at the Second Internati... Descrierea completă
? points 129 b
278.99 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

AULA AMIGOS INTERNACIONAL 2 – GUIA DIDÁCTICA J. A. Ayllón / Carte Carte
common.buy 164.21 lei
Leggenda privata Michele Mari / Carte Carte broșată
common.buy 73.74 lei
Instructions Chrestiennes Sur Les Mysteres de Nostre Seigneur Jesus-Christ. Tome 4 SINGLIN-A / Carte Carte broșată
common.buy 252.19 lei
Cosmo più servizi. Divagazioni su artisti, diorami, cimiteri e vecchie zie rimaste signorine Antonio Riccardi / Carte Carte broșată
common.buy 96.28 lei
My Hero Academia 10 Moje hrdinská akademie Kóhei Horikoši / Carte Carte broșată
common.buy 45.17 lei
Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento / Carte Carte broșată
common.buy 243.78 lei
Sedm pohádek Antonína Langweila Kateřina Bečková / Carte Foaie
common.buy 65.74 lei
Bienheureuse Staritsa Matrona Sofia Carte Carte broșată
common.buy 47.56 lei
Forcenés Bordas / Carte Carte broșată
common.buy 66.78 lei
SIRT FOOD IBON GARCIA DE MIGUEL / Carte Carte broșată
common.buy 94.30 lei
Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym / Carte Carte broșată
common.buy 178.03 lei
Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre / Carte Carte broșată
common.buy 80.08 lei
Premonicions Emili Bayo / Carte Carte broșată
common.buy 70.10 lei
Jews and Christians in Medieval Europe: The Historiographical Legacy of Bernhard Blumenkranz Philippe Buc / Carte Carte broșată
common.buy 665.39 lei
Mozart-Collection Baltisches Festival Orchester / Audio Audio CD
common.buy 48.39 lei
traumatischen Neurosen Hermann Oppenheim / Carte Carte broșată
common.buy 141.67 lei
Traite de Confiture Ou Le Nouveau Et Parfait Confiturier (Ed.1689) Sans Auteur / Carte Carte broșată
common.buy 149.05 lei

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.

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 Engineering Trustworthy Software Systems
Autor Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 259
EAN 9783319568409
ISBN 331956840X
Codul Libristo 16013577
Editura Springer International Publishing AG
Greutatea 4219
Dimensiuni 155 x 235 x 15

Categorii

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
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

Computer Science and Engineering-Theory and Applications Leocundo Aguilar / Carte Carte broșată
common.buy 851.64 lei
Grade 5: Skills Links Student Edition 2009 Ucsmp / Carte Copertă tare
common.buy 168.26 lei
Modern Approach to the Perimenopausal Years Robert B. Greenblatt / Carte Copertă tare
common.buy 601.72 lei
Lol ma; Or, Two Years in Cannibal-Land. a Story of Old Fiji HENRY BRITTON / Carte Carte broșată
common.buy 119.13 lei
Engineering Graphics with SOLIDWORKS 2017 (Including unique access code) David Planchard / Carte Carte broșată
common.buy 461.39 lei
The Fowl Twins Get What They Deserve Eoin Colfer / Carte Carte broșată
common.buy 42.78 lei
Introduction to Statistics Through Resampling Methods and R Phillip I. Good / E-book Adobe ePub DRM
common.buy 390.86 lei
Top
The Ink Black Heart Joanne Kathleen Rowling / Carte Carte broșată
common.buy 60.75 lei
Slup Zupagrafika / Carte Copertă tare
common.buy 160.89 lei
Novel Approach to the Study of Noble Metals Peggy Rusk / Carte Copertă tare
common.buy 661.86 lei
Understanding the Volatile and Dangerous Middle East STEVEN CAROL / Carte Carte broșată
common.buy 169.61 lei
Uncovering Aleister Crowley's Thoth Tarot Valentina Nightingale / Carte Carte broșată
common.buy 136.06 lei
Arctic Explorations in the Years 1853,'54,'55 M.D. U.S.N. Elisha Kent Kane / Carte Carte broșată
common.buy 156.84 lei
English Synonyms, Classified And Explained George Frederick Graham / Carte Copertă tare
common.buy 251.36 lei
Introducing Learning and Memory Richard Appignanesi / Carte Carte broșată
common.buy 32.92 lei
Spoiled Silk George William Shea / Carte Carte broșată
common.buy 262.99 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?