Hero image 0 of Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 P, (Paperback), 0 of 1

Manuel Núñez

Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 P, (Paperback)

(No ratings yet)

Key item features

Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 P, (Paperback)
Author: Springer
ISBN: 9783319194578
Format: Paperback
Publication Date: 2015-05-27
Page Count: 213

Specs

Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
20150527
Pages
213
Subgenre
Languages

Current price is $54.99

Price when purchased online

Free shipping
Free 90-day returns

How do you want your item?

I want delivery savings with

Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.

How do you want your item?

Columbus, 43215

Arrives by Tue, Apr 7

Sold and shipped by Walmart.com

Free 90-day returns

This item is gift eligible

More seller options (2)

Starting from $62.25

Get free delivery, shipping and more*

*Restrictions apply

About this item

Product details

Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 P, (Paperback)
Author: Springer
ISBN: 9783319194578
Format: Paperback
Publication Date: 2015-05-27
Page Count: 213

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Book format

Paperback

Fiction/nonfiction

Non-Fiction

Genre

Computing & Internet

Pub date

20150527

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.

Similar items you might like

Based on what customers bought

Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceeding, (Paperback) $54.99
current price $54.99
Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceeding, (Paperback)
Lecture Notes in Computer Science Information Security: Third International Workshop, Isw 2000, Wollongong, Australia, December 20-21, 2000. Proceedings, Book 1975, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Information Security: Third International Workshop, Isw 2000, Wollongong, Australia, December 20-21, 2000. Proceedings, Book 1975, (Paperback)
Web Information Systems Engineering - Wise 2008 Workshops: Wise 2008 International Workshops, Auckland, New Zealand, Sep, (Paperback) $54.99
current price $54.99
Web Information Systems Engineering - Wise 2008 Workshops: Wise 2008 International Workshops, Auckland, New Zealand, Sep, (Paperback)
Lecture Notes in Computer Science Advanced Information Systems Engineering: 7th International Conference, Caise '95, JyvÃ¤skylÃ¤, Finland, June 12 - 16, 199, Book 932, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Advanced Information Systems Engineering: 7th International Conference, Caise '95, JyvÃ¤skylÃ¤, Finland, June 12 - 16, 199, Book 932, (Paperback)
Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 20, (Paperback) $54.99
current price $54.99
Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 20, (Paperback)
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, (Paperback) $54.99
current price $54.99
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, (Paperback)
Oois 2000: 6th International Conference on Object Oriented Information Systems 18 - 20 December 2000, London, UK Proceed, (Paperback) $54.99
current price $54.99
Oois 2000: 6th International Conference on Object Oriented Information Systems 18 - 20 December 2000, London, UK Proceed, (Paperback)
Lecture Notes in Computer Science Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986, Book 244, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986, Book 244, (Paperback)
Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback) $54.99
current price $54.99
Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback)
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, Decembe, (Paperback) $54.99
current price $54.99
Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, Decembe, (Paperback)
Ambient Networks: 16th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2005, Ba, (Paperback) $54.99
current price $54.99
Ambient Networks: 16th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2005, Ba, (Paperback)
Computer Information Systems and Industrial Management: 19th International Conference, Cisim 2020, Bialystok, Poland, Oc, (Paperback) $54.99
current price $54.99
Computer Information Systems and Industrial Management: 19th International Conference, Cisim 2020, Bialystok, Poland, Oc, (Paperback)
Identity and Privacy in the Internet Age: 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16, (Paperback) $54.99
current price $54.99
Identity and Privacy in the Internet Age: 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16, (Paperback)
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback) $54.99
current price $54.99
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback)
Self-Organizing Systems: First International Workshop, Iwsos 2006 and Third International Workshop on New Trends in Netw, (Paperback) $54.99
current price $54.99
Self-Organizing Systems: First International Workshop, Iwsos 2006 and Third International Workshop on New Trends in Netw, (Paperback)
Software Engineering and Formal Methods: 14th International Conference, Sefm 2016, Held as Part of Staf 2016, Vienna, Au, (Paperback) $54.99
current price $54.99
Software Engineering and Formal Methods: 14th International Conference, Sefm 2016, Held as Part of Staf 2016, Vienna, Au, (Paperback)
Mobile Web and Intelligent Information Systems: 14th International Conference, Mobiwis 2017, Prague, Czech Republic, Aug, (Paperback) $54.99
current price $54.99
Mobile Web and Intelligent Information Systems: 14th International Conference, Mobiwis 2017, Prague, Czech Republic, Aug, (Paperback)
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback) $54.99
current price $54.99
Communications in Computer and Informati Systems and Frameworks for Computational Morphology: Third International Workshop, Sfcm 2013, Berlin, Germany, September, Book 380, (Paperback)
Rough Sets and Knowledge Technology: 10th International Conference, Rskt 2015, Held as Part of the International Joint C, (Paperback) $54.99
current price $54.99
Rough Sets and Knowledge Technology: 10th International Conference, Rskt 2015, Held as Part of the International Joint C, (Paperback)
Lecture Notes in Computer Science Innovative Internet Computing Systems: International Workshop Iics 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings, Book 2060, (Paperback) $54.99
current price $54.99
Lecture Notes in Computer Science Innovative Internet Computing Systems: International Workshop Iics 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings, Book 2060, (Paperback)

Customer ratings & reviews

0 ratings|0 reviews

This item does not have any reviews yet

Rewards debit card.Earn 3% cash back, on up to $150spent each month.Terms apply.

Join OnePay Cash

Rollbacks & more

Easter

Grocery

All Clothing, Shoes, & Accessories

All Baby

All Kids

The Baby Event

Baby Clothing

Toddler Clothing

Kids Clothing

Bulk Baby Supplies

Diapers & Wipes

Baby Formula & Baby Food

Nursery & Decor

Kids Room

Baby Travel Gear

Baby Registry

WIC

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming

Auto & Tires

Personal Care

Beauty

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Books, Movies, & Music

Party Supplies

Auto Care Services

Pharmacy

Health & Wellness

Benefit Programs

Insurance Services

Registry, Lists, & Gifts

Custom Cakes

Custom Cupcakes

Photo Services

Financial Services

Protection, Home, & Tech

Subscriptions

Subscription Products

Walmart Business

Industry solutions

Formal Methods for Industrial Critical Systems: 20th International Workshop, Fmics 2015 Oslo, Norway, June 22-23, 2015 P, (Paperback)

Key item features

Specs

How do you want your item?

More seller options (2)

Get free delivery, shipping and more*

About this item

Product details

Specifications

Book format

Fiction/nonfiction

Genre

Pub date

Warranty

Warranty information

Similar items you might like

Based on what customers bought

Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceeding, (Paperback) $54.99

Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceeding, (Paperback)

Lecture Notes in Computer Science Information Security: Third International Workshop, Isw 2000, Wollongong, Australia, December 20-21, 2000. Proceedings, Book 1975, (Paperback) $54.99

Lecture Notes in Computer Science Information Security: Third International Workshop, Isw 2000, Wollongong, Australia, December 20-21, 2000. Proceedings, Book 1975, (Paperback)

Web Information Systems Engineering - Wise 2008 Workshops: Wise 2008 International Workshops, Auckland, New Zealand, Sep, (Paperback) $54.99

Web Information Systems Engineering - Wise 2008 Workshops: Wise 2008 International Workshops, Auckland, New Zealand, Sep, (Paperback)

Lecture Notes in Computer Science Advanced Information Systems Engineering: 7th International Conference, Caise '95, JyvÃ¤skylÃ¤, Finland, June 12 - 16, 199, Book 932, (Paperback) $54.99

Lecture Notes in Computer Science Advanced Information Systems Engineering: 7th International Conference, Caise '95, JyvÃ¤skylÃ¤, Finland, June 12 - 16, 199, Book 932, (Paperback)

Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 20, (Paperback) $54.99

Algebra and Coalgebra in Computer Science: Second International Conference, Calco 2007, Bergen, Norway, August 20-24, 20, (Paperback)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, (Paperback) $54.99

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, (Paperback)

Oois 2000: 6th International Conference on Object Oriented Information Systems 18 - 20 December 2000, London, UK Proceed, (Paperback) $54.99

Oois 2000: 6th International Conference on Object Oriented Information Systems 18 - 20 December 2000, London, UK Proceed, (Paperback)

Lecture Notes in Computer Science Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986, Book 244, (Paperback) $54.99

Lecture Notes in Computer Science Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986, Book 244, (Paperback)

Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback) $54.99