Leveraging Applications of Formal Methods, Verification, and Validation Image close
Leveraging Applications of Formal Methods, Verification, and Validation
Leveraging Applications of Formal Methods, Verification, and Validation
Show Hide Adult Content
Leveraging Applications of Formal Methods, Verification, and Validation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Computer modelling & simulation

Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$148.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

6 weekly interest-free payments of $24.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 3-13 June using International Courier

Explore more Communications in Computer and Information Science

See all products in this series

Human-Computer Interaction
$292.00
Human-Computer Interaction
Paperback / softback
Pre-order - out 29 May 2024
Data Management Technologies and Applications
$150.00
Data Management Technologies and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Bias and Fairness in Information Retrieval
$150.00
Advances in Bias and Fairness in Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Deep Learning Theory and Applications
$240.00
Deep Learning Theory and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Applied Informatics
$150.00
Applied Informatics
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Trends in Analysis of Images, Social Networks and Texts
$150.00
Recent Trends in Analysis of Images, Social Networks and Texts
Paperback / softback
Available - Usually ships in 3-4 weeks
Active Inference
$265.00
Active Inference
Paperback / softback
Available - Usually ships in 3-4 weeks
Innovations for Community Services
$240.00
Innovations for Community Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Information Technologies and Mathematical Modelling. Queueing Theory and Applications
$240.00
Information Technologies and Mathematical Modelling. Queueing Theory...
Paperback / softback
Available - Usually ships in 3-4 weeks
Operations Research and Enterprise Systems
$150.00
Operations Research and Enterprise Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Mediterranean Forum – Data Science Conference
$150.00
Mediterranean Forum – Data Science Conference
Paperback / softback
Available - Usually ships in 3-4 weeks
Information and Communication Technology for Development for Africa
$150.00
Information and Communication Technology for Development for Africa
Paperback / softback
Available - Usually ships in 3-4 weeks
Sustainable Development through Machine Learning, AI and IoT
$227.00
Sustainable Development through Machine Learning, AI and IoT
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision and Image Processing
$317.00
Computer Vision and Image Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering Toward Sustainable World
$148.00
Requirements Engineering Toward Sustainable World
Paperback / softback
Available - Usually ships in 3-4 weeks
BNAIC 2016: Artificial Intelligence
$150.00
BNAIC 2016: Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
Release date NZ
December 22nd, 2016
Audience
  • Professional & Vocational
Contributor
  • Edited by Anna-Lena Lamprecht
Edition
1st ed. 2016
Illustrations
62 Illustrations, black and white; VII, 157 p. 62 illus.
Pages
157
Dimensions
155x235x9
ISBN-13
9783319516400
Product ID
26419922

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Databases
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation