FM 2015 Formal Methods - Schoolbooks Maynooth

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 "9783319192482"

General Books
School Books

FM 2015: Formal Methods

Author : Frank de Boer,Nikolaj Bjorner
Paperback
Published : Tuesday 2 June 2015
ISBN : 9783319192482
Price : €52.64

Description

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.