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,413
Discovery Miles 14 130
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,413 Discovery Miles 14 130 | Repayment Terms: R132 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
Promotions
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!

You might also like..

The Hitchhiker's Guide To AI - A…
Arthur Goldstuck Paperback R350 R273 Discovery Miles 2 730
Productivity with Health, Safety, and…
Lakhwinder Pal Singh, Arvind Bhardwaj, … Hardcover R5,501 Discovery Miles 55 010
Studying and Designing Technology for…
Tejinder Judge, Carman Neustaedter Paperback R1,441 R1,336 Discovery Miles 13 360
Brain Machine Interfaces for Space…
Luca Rossini, Dario Izzo Hardcover R5,024 Discovery Miles 50 240
Deceitful Media - Artificial…
Simone Natale Hardcover R2,515 Discovery Miles 25 150
Usability Engineering - Process…
Laura Leventhal, Julie Barnes Paperback R4,434 Discovery Miles 44 340
Creative Selection - Inside Apple's…
Ken Kocienda Paperback  (1)
R452 R381 Discovery Miles 3 810
Customized Production Through 3D…
Lin Zhang, Longfei Zhou, … Paperback R4,069 Discovery Miles 40 690
Designing User Experience - A guide to…
David Benyon Paperback R2,116 Discovery Miles 21 160
The API-First Transformation
Kin Lane Hardcover R1,416 Discovery Miles 14 160
Age Of Agency - Rise With A.I.
Kerushan Govender Paperback R350 R286 Discovery Miles 2 860
Next-Generation Applications and…
Filipe Portela, Ricardo Queiros Hardcover R7,372 Discovery Miles 73 720

See more

Partners