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

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15,... Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Paperback, 1st ed. 2015)
Bernd Finkbeiner, Geguang Pu, Li Jun Zhang
R2,956 Discovery Miles 29 560
Add to cart
Ships in 10 - 15 working days

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
STEM Activity: Sensational Science (Paperback): Steph Clarkson
STEM Activity: Sensational Science
Steph Clarkson Paperback  (4)
 R246 R202 Discovery Miles 2 020
Harry Styles - Harry's House (CD): Harry Styles
Harry's House
Harry Styles CD  (1)
 R267 R237 Discovery Miles 2 370
The Garden Within - Where the War with Your Emotions Ends & Your Most Powerful Life Begins (Paperback): Anita Phillips
The Garden Within - Where the War with…
Anita Phillips Paperback R329 R239 Discovery Miles 2 390
Alcolin Cold Glue (500ml):
Alcolin Cold Glue (500ml)
R101 Discovery Miles 1 010
The Folk Of The Air: Trilogy - The Cruel Prince / The Wicked King / The Queen Of Nothing (Paperback, Boxed set): Holly Black
The Folk Of The Air: Trilogy - The Cruel…
Holly Black Paperback  (3)
 R648 Discovery Miles 6 480
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R310 Discovery Miles 3 100
Microsoft Xbox Series X Console (1TB):
Microsoft Xbox Series X Console (1TB)
 (21)
 R14,999 Discovery Miles 149 990
Ticket To Paradise (DVD): George Clooney, Julia Roberts, Kaitlyn Dever, Billie Lourd
Ticket To Paradise
George Clooney, Julia Roberts, … DVD  (1)
 R113 Discovery Miles 1 130
Zap! Kawaii Rock Painting Kit (Kit):
Zap! Kawaii Rock Painting Kit
Kit R250 R119 Discovery Miles 1 190
Bestway Inflatable Donut Ring:
Bestway Inflatable Donut Ring
R120 R105 Discovery Miles 1 050

 
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