Verified Software Theories Tools and

General Books

School Books

Stationery

Menu

Sign In / Up

Sign in to your account or register new one to have full control over your orders, receive bonuses and more.

Sign In

New customer? Register

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

Sign In / Up

Home
Pre-orders
Book Subscription
General Books
Childrens Books
Non-Fiction
Primary School Books
Secondary School Books
- Junior Cert
  - Business
  - CSPE
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE Junior
  - Science
  - Sphe
  - Spanish
  - Technology & Graphics
- Senior Cert
  - Art
  - Biology
  - Business, Acc. & Economics
  - Chemistry
  - English
  - French
  - Geography
  - German
  - History
  - Home Economics
  - Irish
  - Math
  - Music
  - PE
  - Physics
  - Politics & Society
  - Sphe
  - Spanish
  - Contstruction, DCG & Technology
- Transition Year Books
- Novels
- Plays
- Secondary Irish Books
- Career Guidance
- Secondary School General
Exam Preparation
Stationery
School Book Lists
- Primary School books Lists
- Secondary School books Lists
Help

General Books

School Books

Stationery

Home
General Books
- Popular in Books
- Non-Fiction
- Children Books
Children's Books
Primary School Books
Secondary School Books
Join our Mailing List
Book Subscription
Blog
Help
- Help
- Kildare
- Maynooth University Bookshop

0 Cart

Subtotal: 0.00

Total Items In Cart:

View Cart

General Book Search for "9783319488684"

General Books
School Books

Verified Software. Theories, Tools, and Experiments

Author : Marsha Chechik,Sandrine Blazy
Paperback
Published : Tuesday 8 November 2016
ISBN : 9783319488684
Price : €52.64

Description

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.