Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215 (PDF)

Name: Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215
Brand: Springer-Verlag GmbH
SKU: 100646087
Price: 59.00 CHF
Availability: OnlineOnly

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Sprache: Englisch)

Schreiben Sie einen Kommentar zu "Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215".

Merken

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

Mehr zum Inhalt Autorenporträt Video

eBook (pdf) Fr. 59.00

Buch (Kartoniert) Fr. 59.00

sofort als Download lieferbar

Bestellnummer: 100646087

eBook (pdf) Fr. 59.00

inkl. MwSt.

Download bestellen

Verschenken

Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215 (PDF)“

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

Autoren-Porträt

Editors: Jonathan P. Bowen, London Southbank University, UK; Zhiming Liu, Southwest University, Chongqing, China; Zili Zhang, Southwest University, Chongqing, China

eBook Hilfe

Informationen und Hilfe zu eBooks hier klicken!

Bibliographische Angaben

2017, 1st ed. 2017, 259 Seiten, Englisch
Herausgegeben: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Verlag: Springer-Verlag GmbH
ISBN-10: 3319568418
ISBN-13: 9783319568416
Erscheinungsdatum: 18.04.2017

Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.

eBook Informationen

Dateiformat: PDF
Grösse: 12 MB
Ohne Kopierschutz
Vorlesefunktion

Sprache:

Englisch

Kommentar zu "Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215"

Schreiben Sie einen Kommentar zu "Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215".

0 Gebrauchte Artikel zu „Engineering Trustworthy Software Systems / Lecture Notes in Computer Science Bd.10215“

Zustand	Preis	Porto	Zahlung	Verkäufer	Rating