Formal Techniques for Safety-Critical Systems de Cyrille Artho

Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers: Communications in Computer and Information Science, cartea 694

Cyrille Artho

Peter Csaba Ölveczky

en Limba Engleză Paperback – 16 feb 2017

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Citește tot Restrânge

	Preț	Express
Paperback (5)	319^.89 lei 43-57 zile
Springer International Publishing – 16 feb 2017	319^.89 lei 43-57 zile
Springer International Publishing – 2 feb 2019	320^.71 lei 43-57 zile
Springer International Publishing – 23 apr 2015	324^.42 lei 43-57 zile
Springer International Publishing – 3 feb 2016	325^.06 lei 43-57 zile
Springer International Publishing – 22 apr 2014	326^.34 lei 43-57 zile

Preț

Express

Paperback (5)

319^.89 lei 43-57 zile

Springer International Publishing – 16 feb 2017

319^.89 lei 43-57 zile

Springer International Publishing – 2 feb 2019

320^.71 lei 43-57 zile

Springer International Publishing – 23 apr 2015

324^.42 lei 43-57 zile

Springer International Publishing – 3 feb 2016

325^.06 lei 43-57 zile

Springer International Publishing – 22 apr 2014

326^.34 lei 43-57 zile

Din seria Communications in Computer and Information Science

20%

Preț: 318^.93 lei
20%

Preț: 655^.52 lei
20%

Preț: 318^.12 lei
20%

Preț: 331^.04 lei
20%

Preț: 642^.92 lei
20%

Preț: 646^.61 lei
20%

Preț: 327^.16 lei
20%

Preț: 330^.73 lei
20%

Preț: 643^.08 lei
20%

Preț: 643^.42 lei
20%

Preț: 645^.97 lei
Preț: 384^.70 lei
20%

Preț: 322^.96 lei
Preț: 378^.26 lei
20%

Preț: 329^.26 lei
20%

Preț: 327^.80 lei
20%

Preț: 325^.06 lei
20%

Preț: 642^.59 lei
20%

Preț: 331^.68 lei
20%

Preț: 327^.16 lei
20%

Preț: 327^.80 lei
20%

Preț: 331^.86 lei
20%

Preț: 653^.10 lei
20%

Preț: 307^.20 lei
20%

Preț: 329^.26 lei
20%

Preț: 331^.86 lei
20%

Preț: 323^.59 lei
20%

Preț: 647^.43 lei
15%

Preț: 635^.31 lei
20%

Preț: 640^.35 lei
20%

Preț: 325^.38 lei
20%

Preț: 331^.04 lei
20%

Preț: 1033^.89 lei
20%

Preț: 819^.57 lei
20%

Preț: 643^.42 lei
20%

Preț: 1206^.03 lei
20%

Preț: 324^.60 lei
20%

Preț: 329^.26 lei
20%

Preț: 316^.51 lei
20%

Preț: 113^.94 lei
20%

Preț: 329^.44 lei
Preț: 379^.96 lei
20%

Preț: 470^.58 lei
20%

Preț: 735^.66 lei
20%

Preț: 330^.23 lei
20%

Preț: 321^.35 lei
20%

Preț: 401^.75 lei
20%

Preț: 328^.63 lei
20%

Preț: 523^.80 lei
20%

Preț: 659^.40 lei

Specificații

ISBN-13: 9783319539454
ISBN-10: 3319539450
Pagini: 161
Ilustrații: XII, 161 p. 40 illus.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.25 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seria Communications in Computer and Information Science

Locul publicării:Cham, Switzerland