0
Your cart

Your cart is empty

Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction

Buy Now

Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures (Paperback, 2013 ed.) Loot Price: R1,349
Discovery Miles 13 490
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication,...

Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures (Paperback, 2013 ed.)

Marco Bernardo, Erik De Vink, Alessandra di Pierro, Herbert Wiklicky

Series: Programming and Software Engineering, 7938

 (sign in to rate)
Loot Price R1,349 Discovery Miles 13 490 | Repayment Terms: R126 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Programming and Software Engineering, 7938
Release date: June 2013
First published: 2013
Editors: Marco Bernardo • Erik De Vink • Alessandra di Pierro • Herbert Wiklicky
Dimensions: 235 x 155 x 10mm (L x W x T)
Format: Paperback
Pages: 181
Edition: 2013 ed.
ISBN-13: 978-3-642-38873-6
Categories: Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
LSN: 3-642-38873-6
Barcode: 9783642388736

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners