Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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

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


Book Informaton

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

Author

Marco Bernardo; Erik de Vink; Alessandra Di Pierro; Herbert Wiklicky

Series

Lecture Notes in Computer Science

Volume

7938

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

VIII, 181

Language

en

ISBN

9783642388736, 9783642388743

ARI Id

1664706629308


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.