We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£89.98
Springer Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... (Lecture Notes in Computer Science, 6415)
Price data last checked 69 day(s) ago - refreshing...
View at Amazon
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£90 today · cheaper than every other day in the last 3 months
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↓ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↓ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 22 days · 22 data points (no recent data)
Historical
Generating forecast…
Price Distribution
Price distribution over 22 days • 1 price levels
Price Analysis
Most common price: £90 (22 days, 100.0%)
Price range: £90 - £90
Price levels: 1 different prices over 22 days
Description
This volume contains the conference proceedings of the 4th International S- posium on Leveraging Applications of Formal Methods, Veri?cation and Vali- tion, ISoLA 2010, which was held in Greece (Heraklion, Crete) October 18-21, 2010, and sponsored by EASST. Following the tradition of its forerunners in 2004, 2006, and 2008 in Cyprus and Chalchidiki, and the ISoLA Workshops in Greenbelt (USA) in 2005, in Poitiers (France) in 2007, and in Potsdam (Germany) in 2009, ISoLA 2010 p- vided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the speci?cation, ana- sis, veri?cation, certi?cation, construction, testing, and maintenance of systems from the point of view of their di?erent application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In particular, by providing a venue for the discussion of c- mon problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, ?exibility, and e?ciency of tools for building systems, and users in their search for adequate solutions to their problems.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642165575
- Category
- Books > Subjects > Computing & Internet > Databases > Data Storage & Management > Data Mining
- Domain
- Amazon UK
- Release Date
- 19 October 2010
- Listed Since
- 24 September 2010
Barcode
No barcode data available
Similar Products You Might Like
95% match
Europe and MENA Cooperation Advances in Information and Communication Technologies: 520 (Advances in Intelligent Systems and Computing, 520)
Springer
£71.46
11 Jul 2026
95% match
Distributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Conference: 332 (Lecture Notes in Networks and Systems, 332)
Springer
£91.00
07 Jul 2026
95% match
Proceedings of the Fifth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’21): 330 (Lecture Notes in Networks and Systems, 330)
Springer
£108.43
10 Jul 2026
95% match
Informatics in Control, Automation and Robotics: 9th International Conference, ICINCO 2012 Rome, Italy, July 28-31, 2012 Revised Selected Papers: 283 (Lecture Notes in Electrical Engineering, 283)
Springer
£76.41
09 Jul 2026
95% match
Complex, Intelligent, and Software Intensive Systems: Proceedings of the 13th International Conference on Complex, Intelligent, and Software Intensive ... in Intelligent Systems and Computing, 993)
Springer
£142.76
13 Jun 2026
95% match
Emerging Trends in Intelligent and Interactive Systems and Applications: Proceedings of the 5th International Conference on Intelligent, Interactive ... in Intelligent Systems and Computing, 1304)
Springer
£136.74
27 Apr 2026
95% match
Handbook of Research on Wireless Sensor Network Trends, Technologies, and Applications (Advances in Wireless Technologies and Telecommunication)
Information Science Reference
£298.81
10 Jun 2026
95% match
Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)
Springer
£110.34
14 Apr 2026
95% match
Advances in Systems Science: Proceedings of the International Conference on Systems Science 2013 (ICSS 2013): 240 (Advances in Intelligent Systems and Computing, 240)
Springer
£148.05
10 Jun 2026
95% match
Intelligent Systems and Applications: Proceedings of the 2020 Intelligent Systems Conference (IntelliSys) Volume 3: 1252 (Advances in Intelligent Systems and Computing, 1252)
Springer
£136.68
15 Apr 2026
95% match
Innovation and Research: A Driving Force for Socio-Econo-Technological Development: 1277 (Advances in Intelligent Systems and Computing, 1277)
Springer
£135.88
10 Jul 2026
95% match
Teaching and Learning in a Digital World: Proceedings of the 20th International Conference on Interactive Collaborative Learning – Volume 2: 716 (Advances in Intelligent Systems and Computing, 716)
Springer
£263.30
06 Jul 2026
95% match
Springer Teaching and Learning in a Digital World Vol 1
Springer
£213.33
30 Apr 2026
95% match
Intelligent Systems and Applications: Proceedings of the 2020 Intelligent Systems Conference (IntelliSys) Volume 1: 1250 (Advances in Intelligent Systems and Computing, 1250)
Springer
£130.00
08 Jul 2026
95% match
Software Solutions for Engineers and Scientists
CRC Press
£170.00
26 Apr 2026
95% match
Automation, Communication and Cybernetics in Science and Engineering 2009/2010
Springer
£92.37
06 Jul 2026
95% match
Complex, Intelligent and Software Intensive Systems: Proceedings of the 16th International Conference on Complex, Intelligent and Software Intensive ... (Lecture Notes in Networks and Systems, 497)
Springer
£130.00
06 Jul 2026
95% match
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering: 313 (Lecture Notes in Electrical Engineering, 313)
Springer
£92.95
12 Jun 2026
95% match
Handbook of Research on Automated Feature Engineering and Advanced Applications in Data Science (Advances in Data Mining and Database Management)
£300.41
18 Jun 2026
95% match
Springer TIC.EC 1099: Information and Communication Technologies
Springer
£109.32
07 May 2026
95% match
Springer Advances in Artificial Intelligence and Systems Engineering
Springer
£113.96
26 Apr 2026
95% match
Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16): Volume 2: 451 (Advances in Intelligent Systems and Computing, 451)
Springer
£136.54
09 Jul 2026
95% match
Serviceology for Smart Service System: Selected papers of the 3rd International Conference of Serviceology
Springer
£137.41
16 Jun 2026
95% match
Deep Learning and Parallel Computing Environment for Bioengineering Systems
Academic Press
£106.99
18 Apr 2026