|
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th In
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Lieferstatus: |
 i.d.R. innert 5-10 Tagen versandfertig |
| Veröffentlichung: |
Mai 2017
|
| Genre: |
EDV / Informatik |
|
|
Adaptivedistributedsystems,self-stabilization / Component-andmodel-baseddesign / EDV / Theorie / Software-Entw. / Software Engineering / Intelligenz / Künstliche Intelligenz / KI / Künstliche Intelligenz (KI) / Künstliche Intelligenz - AI / Mathematik / Informatik, Computer / Netzwerk (elektronisch) / Objecttechnology,modularity,softwareadaptation / Rechnerarchitektur / Roboter - Robotik - Industrieroboter / Security,privacy,andtrustindistributedsystems / Self-healing/organizing / Service-orientedandmobilecomputingsystems / Software Engineering / Softwarequality,reliability,availability,andsafety / Theoretische Informatik / Verification,validation,formalanalysis,andtesting |
| ISBN: |
9783319602240 |
|
EAN-Code:
|
9783319602240 |
| Verlag: |
Springer |
| Einband: |
Kartoniert |
| Sprache: |
English
|
| Serie: |
#10321 - Lecture Notes in Computer Science
Programming and Software Engineering |
| Dimensionen: |
H 235 mm / B 155 mm / D 15 mm |
| Gewicht: |
400 gr |
| Seiten: |
260 |
| Bewertung: |
Titel bewerten / Meinung schreiben
|
| Inhalt: |
| This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods. |
|
| | |
| Empfehlungen... |  | Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
Formal Techniques for Distributed Objects, Compone - (Buch)
| Weitersuchen in DVD/FILME CDS GAMES BÜCHERN | |
|
| Wird aktuell angeschaut... | |
| | |
|
Newsfeed | 
Facebook | 
Twitter
