FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)

★★★★☆ 4.0 63 reviews
US$18.96
Price when purchased online
Free shipping Free 30-day returns
Sold and shipped by hamelchiro.com
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$18.96
Price when purchased online
Free shipping Free 30-day returns
How do you want your item?
You get 30 days free! Choose a plan at checkout.
Shipping
Arrives Jul 18
Free
Pickup
Check nearby
Delivery
Not available
Sold and shipped by hamelchiro.com
Free 30-day returns Details

Product details

Management number 233299568 Release Date 2026/06/27 List Price US$18.96 Model Number 233299568
Category
  1. Books
  2. Computers & Technology
  3. Computer Science
  4. AI & Machine Learning
  5. Machine Theory

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. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development. Read more

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)

Bestseller ranking

Machine Theory

1
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, ... Computer Science and General Issues)

Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, ... Computer Science and General Issues)

★★★☆☆ (32)
$19.18
2
Mathematics of Quantum Computing: An Introduction

Mathematics of Quantum Computing: An Introduction

★★★★☆ (31)
$18.56
3
AI Unplugged: Inside the Black Box: Understanding Machine Learning Through Simplified Math

AI Unplugged: Inside the Black Box: Understanding Machine Learning Through Simplified Math

★★★★☆ (7)
$11.06
4
Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

★★★★☆ (47)
$30.45
5
Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science, 960)

Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science, 960)

★★★★★ (33)
$18.96
6
Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

★★★★☆ (46)
$19.18
See the same product from Machine Theory

Customers who viewed this product also viewed

Spotlights

KORKIE Remote Spot Lights for Trucks, Auto-Reset 360 Rotating Marine Search Lights, 80W Spotlight with 7 Magnets, IP68 Waterproof, Remote Spotlight for Boats Fire Truck Offroad Pickup and Car - White

KORKIE Remote Spot Lights for Trucks, Auto-Reset 360 Rotating Marine Search Lights, 80W Spotlight with 7 Magnets, IP68 Waterproof, Remote Spotlight for Boats Fire Truck Offroad Pickup and Car - White

★★★★☆ (8)
$52.00
Boat Drain Plug Light Smart Control System Use Out of Water DC 9~32V 316L Stainless Steel (Blue)

Boat Drain Plug Light Smart Control System Use Out of Water DC 9~32V 316L Stainless Steel (Blue)

★★★★☆ (46)
$28.00
Waterproof Ip68 Led Drain Plug Light 9w Underwater Boat Lights Marine Yacht Led Drain Plug Light for Fishing Swimming Divinng

Waterproof Ip68 Led Drain Plug Light 9w Underwater Boat Lights Marine Yacht Led Drain Plug Light for Fishing Swimming Divinng

★★★☆☆ (12)
$18.40
Browning High Noon Rechargeable Spotlight 915L

Browning High Noon Rechargeable Spotlight 915L

★★★★☆ (40)
$35.02
WFPOWER Boat Light 2 Pack, LED Marine Spotlights Waterproof, Deck Dock Flood Light Work Light for Boat Accessories Pontoon Fishing Truck SUV Off-Road 12V Square White

WFPOWER Boat Light 2 Pack, LED Marine Spotlights Waterproof, Deck Dock Flood Light Work Light for Boat Accessories Pontoon Fishing Truck SUV Off-Road 12V Square White

★★★☆☆ (6)
$10.22
2Pcs Red Marine Boat LED Lights,27 LEDs Waterproof IP68 Stainless Steel Boat Deck Dock Pontoon Transom Yacht Trailer Stern Navigation Interior Lights,1200LM

2Pcs Red Marine Boat LED Lights,27 LEDs Waterproof IP68 Stainless Steel Boat Deck Dock Pontoon Transom Yacht Trailer Stern Navigation Interior Lights,1200LM

★★★★☆ (31)
$10.80
See all the same products

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Customer ratings & reviews

4 out of 5
★★★★☆
63 ratings | 26 reviews
How item rating is calculated
View all reviews
5 stars
75% (47)
4 stars
8% (5)
3 stars
4% (3)
2 stars
2% (1)
1 star
11% (7)
Sort by

There are currently no written reviews for this product.