0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures (Paperback, 1st ed. 2016) Loot Price: R2,079
Discovery Miles 20 790
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for...

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures (Paperback, 1st ed. 2016)

Marco Bernardo, Rocco De Nicola, Jane Hillston

Series: Lecture Notes in Computer Science, 9700

 (sign in to rate)
Loot Price R2,079 Discovery Miles 20 790 | Repayment Terms: R195 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 9700
Release date: June 2016
First published: 2016
Editors: Marco Bernardo • Rocco De Nicola • Jane Hillston
Dimensions: 235 x 155 x 14mm (L x W x T)
Format: Paperback
Pages: 261
Edition: 1st ed. 2016
ISBN-13: 978-3-319-34095-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Books > Computing & IT > Computer programming > Programming languages > General
Books > Computing & IT > Applications of computing > Databases > General
Promotions
LSN: 3-319-34095-6
Barcode: 9783319340951

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..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,548 Discovery Miles 25 480
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
R751 Discovery Miles 7 510
C++ Programming - Program Design…
D. Malik Paperback R1,700 R1,570 Discovery Miles 15 700
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,359 Discovery Miles 13 590
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R4,258 Discovery Miles 42 580
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,273 Discovery Miles 12 730
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,458 Discovery Miles 24 580
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R635 Discovery Miles 6 350
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,027 R881 Discovery Miles 8 810
C Programming For Beginners - The Simple…
Tim Warren Hardcover R550 R505 Discovery Miles 5 050
Advanced Python Commands - Become a…
Manuel Mcfeely Hardcover R781 R685 Discovery Miles 6 850

See more

Partners