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)	326^.46 lei 6-8 săpt.
Springer International Publishing – 16 feb 2017	326^.46 lei 6-8 săpt.
Springer International Publishing – 2 feb 2019	327^.29 lei 6-8 săpt.
Springer International Publishing – 23 apr 2015	331^.08 lei 6-8 săpt.
Springer International Publishing – 3 feb 2016	331^.74 lei 6-8 săpt.
Springer International Publishing – 22 apr 2014	333^.04 lei 6-8 săpt.

Preț

Express

Paperback (5)

326^.46 lei 6-8 săpt.

Springer International Publishing – 16 feb 2017

326^.46 lei 6-8 săpt.

Springer International Publishing – 2 feb 2019

327^.29 lei 6-8 săpt.

Springer International Publishing – 23 apr 2015

331^.08 lei 6-8 săpt.

Springer International Publishing – 3 feb 2016

331^.74 lei 6-8 săpt.

Springer International Publishing – 22 apr 2014

333^.04 lei 6-8 săpt.

Din seria Communications in Computer and Information Science

20%

Preț: 325^.48 lei
20%

Preț: 669^.06 lei
20%

Preț: 324^.64 lei
20%

Preț: 337^.85 lei
20%

Preț: 656^.19 lei
20%

Preț: 659^.97 lei
20%

Preț: 333^.88 lei
20%

Preț: 337^.52 lei
20%

Preț: 656^.36 lei
20%

Preț: 656^.69 lei
20%

Preț: 659^.31 lei
Preț: 392^.60 lei
20%

Preț: 329^.58 lei
Preț: 386^.00 lei
20%

Preț: 336^.02 lei
20%

Preț: 334^.53 lei
20%

Preț: 331^.74 lei
20%

Preț: 655^.85 lei
20%

Preț: 338^.49 lei
20%

Preț: 333^.88 lei
20%

Preț: 334^.53 lei
20%

Preț: 338^.68 lei
20%

Preț: 666^.58 lei
20%

Preț: 307^.20 lei
20%

Preț: 336^.02 lei
20%

Preț: 338^.68 lei
20%

Preț: 330^.24 lei
20%

Preț: 660^.81 lei
15%

Preț: 648^.42 lei
20%

Preț: 653^.56 lei
20%

Preț: 332^.06 lei
20%

Preț: 337^.85 lei
20%

Preț: 1055^.29 lei
20%

Preț: 836^.50 lei
20%

Preț: 656^.69 lei
20%

Preț: 1231^.01 lei
20%

Preț: 331^.25 lei
20%

Preț: 336^.02 lei
20%

Preț: 323^.00 lei
20%

Preț: 113^.94 lei
20%

Preț: 336^.21 lei
Preț: 387^.75 lei
20%

Preț: 470^.58 lei
20%

Preț: 750^.86 lei
20%

Preț: 337^.00 lei
20%

Preț: 327^.95 lei
20%

Preț: 410^.03 lei
20%

Preț: 335^.36 lei
20%

Preț: 534^.59 lei
20%

Preț: 673^.02 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