Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Paperback, 1st ed. 2017) Loot Price: R1,975

Discovery Miles 19 750

Repayment Terms: R185 pm x 12*

Add to cart

Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016,...

Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)

Cyrille Artho, Peter Csaba OElveczky

Series: Communications in Computer and Information Science, 694

(sign in to rate)

Loot Price R1,975 Discovery Miles 19 750 | Repayment Terms: R185 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Communications in Computer and Information Science, 694
Release date:	February 2017
First published:	2017
Editors:	Cyrille Artho • Peter Csaba OElveczky
Dimensions:	235 x 155 x 10mm (L x W x T)
Format:	Paperback
Pages:	161
Edition:	1st ed. 2017
ISBN-13:	978-3-319-53945-4
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-319-53945-0
Barcode:	9783319539454