Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Databases

Buy Now

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 (Paperback, 1st ed. 2016) Loot Price: R1,981
Discovery Miles 19 810
Repayment Terms: R186 pm x 12*
Add to cart
Leveraging Applications of Formal Methods, Verification, and Validation - 6th International Symposium, ISoLA 2014, Corfu,...

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 (Paperback, 1st ed. 2016)

Anna-Lena Lamprecht

Series: Communications in Computer and Information Science, 683

 (sign in to rate)
Loot Price R1,981 Discovery Miles 19 810 | Repayment Terms: R186 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Communications in Computer and Information Science, 683
Release date: December 2016
First published: 2016
Editors: Anna-Lena Lamprecht
Dimensions: 235 x 155 x 9mm (L x W x T)
Format: Paperback
Pages: 157
Edition: 1st ed. 2016
ISBN-13: 978-3-319-51640-0
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Computer modelling & simulation
Books > Computing & IT > Applications of computing > Databases > General
Promotions
LSN: 3-319-51640-X
Barcode: 9783319516400

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

Database Principles - Fundamentals of Design, Implementation, and Management (Paperback, 3rd edition): Carlos Coronel, Keeley...
Database Principles - Fundamentals of…
Carlos Coronel, Keeley Crockett, … Paperback R1,099 R949 Discovery Miles 9 490
Management Of Information Security (Paperback, 6th Edition): Michael Whitman, Herbert Mattord
Management Of Information Security
Michael Whitman, Herbert Mattord Paperback R1,321 R1,183 Discovery Miles 11 830
Safety of Web Applications - Risks, Encryption and Handling Vulnerabilities with PHP (Hardcover): Eric Quinton
Safety of Web Applications - Risks…
Eric Quinton Hardcover R2,405 Discovery Miles 24 050
Big Data and Smart Service Systems (Hardcover, UK ed.): Xiwei Liu, Rangachari Anand, Gang Xiong, Xiuqin Shang, Xiaoming Liu
Big Data and Smart Service Systems
Xiwei Liu, Rangachari Anand, … Hardcover R2,044 R1,885 Discovery Miles 18 850
Temporal Data Mining via Unsupervised Ensemble Learning (Paperback, UK ed.): Yun Yang
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,199 Discovery Miles 11 990
Ontologies, Taxonomies and Thesauri in Systems Science and Systematics (Paperback): Emilia Curras
Ontologies, Taxonomies and Thesauri in…
Emilia Curras Paperback R1,353 Discovery Miles 13 530
Machine Learning and Data Mining (Paperback): I Kononenko, M Kukar
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R1,960 Discovery Miles 19 600
Open Source Database Driven Web Development - A Guide for Information Professionals (Paperback, New): Isaac Dunlap
Open Source Database Driven Web…
Isaac Dunlap Paperback R1,185 Discovery Miles 11 850
Fundamentals of Spatial Information Systems (Hardcover): Robert Laurini, Derek Thompson
Fundamentals of Spatial Information…
Robert Laurini, Derek Thompson Hardcover R1,490 Discovery Miles 14 900
The Data Quality Blueprint - A Practical and Holistic Approach (Hardcover): John Parkinson
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,651 Discovery Miles 16 510
Database Solutions - A step by step guide to building databases (Paperback, 2nd edition): Thomas Connolly, Carolyn Begg
Database Solutions - A step by step…
Thomas Connolly, Carolyn Begg Paperback R2,244 R2,102 Discovery Miles 21 020
CompTIA Data+ DA0-001 Exam Cram (Digital product license key): Akhil Behl, Sivasubramanian
CompTIA Data+ DA0-001 Exam Cram
Akhil Behl, Sivasubramanian Digital product license key R1,715 R1,044 Discovery Miles 10 440

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners