Muutke küpsiste eelistusi

Reliable Software Technologies Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings 1st ed. 2017 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 251 pages, kõrgus x laius: 235x155 mm, kaal: 4102 g, 61 Illustrations, black and white; XIV, 251 p. 61 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 10300
  • Ilmumisaeg: 30-May-2017
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319605879
  • ISBN-13: 9783319605876
Teised raamatud teemal:
  • Pehme köide
  • Hind: 53,33 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 62,74 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Reliable Software Technologies Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings 1st ed. 2017Suurem pilt
  • Formaat: Paperback / softback, 251 pages, kõrgus x laius: 235x155 mm, kaal: 4102 g, 61 Illustrations, black and white; XIV, 251 p. 61 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 10300
  • Ilmumisaeg: 30-May-2017
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319605879
  • ISBN-13: 9783319605876
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319605876.html
Märksõnad:
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.





The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.
Runtimes.- Safety and security.- Timing verification.- Programming models.- The future of safety-minded languages.- Mixed criticality.