2007
Paperback (18 May 2007)
Save $5.19
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.
| ISBN: | 9783540724827 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 18 May 2007 |
| Edition: | 2007 |
| Language: | English |
| Number of pages: | 472 |
| Weight: | 712g |
| Height: | 235mm |
| Width: | 154mm |
| Spine width: | 28mm |
Zhang Time Discretization (ZTD)...
Hardback
Published 07 Aug 2024
$2.27off
Introduction to Probability for...
Hardback
Published 28 Sep 2023
Save $2.27
$7.89off
Mathematics in Programming
Paperback
Published 11 Jul 2024
Save $7.89
Python Programming for Mathemat...
Paperback
Published 04 Dec 2030
$3.06off
Foundation Mathematics for Comp...
Paperback
Published 27 Sep 2024
Save $3.06
$4.75off
Application and Theory of Petri...
Paperback
Published 13 Jun 2024
Save $4.75
Automated Information Retrieval
Hardback
Published 28 Jul 1997
A Day in the Life of a Data Sci...
Paperback
Published 09 Sep 2024
$9.58off
Advances in Swarm Intelligence
Paperback
Published 21 Aug 2024
Save $9.58
$2.49off
Programming in Haskell
Paperback
Published 09 Jan 2016
Save $2.49