Get Free Shipping on orders over $89
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 - Alessandra Di Pierro

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

By: Alessandra Di Pierro (Editor), Marco Bernardo (Editor), Herbert Wiklicky (Editor), Erik de Vink (Editor)

Paperback | 7 June 2013

At a Glance

Paperback


$74.99

or 4 interest-free payments of $18.75 with

 or 

Ships in 5 to 7 business 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.

More in Computer Science

Empire of AI : Inside the reckless race for total domination - Karen Hao
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
CEH Certified Ethical Hacker v13 Study Guide : Sybex Study Guide - William Panek
ARM Assembly Language : Fundamentals and Techniques - Christopher  Hinds
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
We Are As Gods : A Survival Guide for the Age of Abundance - Peter H. Diamandis