Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering)

★★★★★ 4.7 52 reviews
$47.22
Price when purchased online
Free shipping Free 30-day returns
Sold and shipped by conocii.com
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$47.22
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 3
Free
Pickup
Check nearby
Delivery
Not available
Sold and shipped by conocii.com
Free 30-day returns Details

Product details

Management number 231607299 Release Date 2026/06/18 List Price $18.89 Model Number 231607299
Category
  1. Books
  2. Computers & Technology
  3. Hardware & DIY
  4. Microprocessors & System Design
  5. Embedded Systems

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification. Read more

ISBN10 3319194577
ISBN13 978-3319194578
Edition 2015th
Language English
Publisher Springer
Dimensions 6.1 x 0.53 x 9.25 inches
Item Weight 7.89 pounds
Print length 229 pages
Publication date May 27, 2015

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering)

Bestseller ranking

Embedded Systems

1
Hands-On FPGA Projects: Design, Verify, and Optimize Production-Grade SoCs and Accelerators with SystemVerilog for Real-World Impact and Career Growth

Hands-On FPGA Projects: Design, Verify, and Optimize Production-Grade SoCs and Accelerators with SystemVerilog for Real-World Impact and Career Growth

★★★☆☆ (48)
$2.67
2
PIC Microcontroller Essentials: Building Simple Embedded Circuits with MPLAB X Kindle Edition

PIC Microcontroller Essentials: Building Simple Embedded Circuits with MPLAB X Kindle Edition

★★★★☆ (12)
$90.00
3
Architecting High-Speed FPGA-Based Systems-on-Chip: A Field Guide to High-Speed Building, Integration, and Debugging (embedded systems library Book 2)

Architecting High-Speed FPGA-Based Systems-on-Chip: A Field Guide to High-Speed Building, Integration, and Debugging (embedded systems library Book 2)

★★★★☆ (22)
$3.44
4
Trust and Trustworthy Computing: 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings (Security and Cryptology)

Trust and Trustworthy Computing: 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings (Security and Cryptology)

★★★☆☆ (45)
$18.96
5
UNO Q Robotics Systems

UNO Q Robotics Systems

★★★★☆ (10)
$11.07
6
Design and development of an embedded system for AD/DC power control: Inexpansive AD/DC power control

Design and development of an embedded system for AD/DC power control: Inexpansive AD/DC power control

★★★★☆ (26)
$22.07
See the same product from Embedded Systems

Customers who viewed this product also viewed

Tuning Pegs

Gotoh Tuners Machine Heads SG381-01 - Chrome - 3 Per Side 07202CX

Gotoh Tuners Machine Heads SG381-01 - Chrome - 3 Per Side 07202CX

★★★☆☆ (22)
$12.00
Gotoh 510 3x3 Engraved Keys

Gotoh 510 3x3 Engraved Keys

★★★☆☆ (34)
$92.00
Metallor Locking Guitar String Tuning Pegs 1:18 Gear Ratio Guitar Machines Heads Tuners Tuning Keys 3L 3R for ST TL LP SG Style Electric Guitar or Acoustic Guitar Parts Accessories Replacement Gold.

Metallor Locking Guitar String Tuning Pegs 1:18 Gear Ratio Guitar Machines Heads Tuners Tuning Keys 3L 3R for ST TL LP SG Style Electric Guitar or Acoustic Guitar Parts Accessories Replacement Gold.

★★★☆☆ (14)
$10.00
Musiclily Pro 3x3 Guitar Locking Tuners Tuning Pegs Keys Machine Heads Set for Epiphone Les Paul Style Electric Guitar or Acoustic Guitar, Chrome

Musiclily Pro 3x3 Guitar Locking Tuners Tuning Pegs Keys Machine Heads Set for Epiphone Les Paul Style Electric Guitar or Acoustic Guitar, Chrome

★★★☆☆ (29)
$13.18
Alnicov 6R Electric Guitar Machine Heads Tuners，Vintage Nickel Lock String Tuners，For ST TL Guitar Parts

Alnicov 6R Electric Guitar Machine Heads Tuners，Vintage Nickel Lock String Tuners，For ST TL Guitar Parts

★★★★☆ (50)
$10.40
grover, / Musical Instrument (102GK)

grover, / Musical Instrument (102GK)

★★★★☆ (48)
$44.01
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.7 out of 5
★★★★★
52 ratings | 21 reviews
How item rating is calculated
View all reviews
5 stars
86% (45)
4 stars
2% (1)
3 stars
1% (1)
2 stars
1% (1)
1 star
10% (5)
Sort by

There are currently no written reviews for this product.