Search Using Event-b For Critical Device Software Systems

Showing 1 - 6 of 6 results for Using Event b for Critical Device Software Systems

Sort by

Using Event-b for Critical Device Software Systems

by Boykin, James

ISBN13: 9781977888389

ISBN10: 1977888380

Format: Paperback

Rental Textbook Copy Usually Ships in 3-5 Business Days

New Textbook Copy Usually Ships in 3-5 Business Days

Free Shipping On Orders Over $35!
List Price: ~~$44.66~~ Save up to $14.52
- Rent
  
  $30.14
  
  Due: Aug 13
- Buy New
  
  $44.62
Using Event-b for Critical Device Software Systems

by Forrest, Peter

ISBN13: 9781979810388

ISBN10: 1979810389

Format: Paperback

Rental Textbook Copy Usually Ships in 3-5 Business Days

New Textbook Copy Usually Ships in 3-5 Business Days

Free Shipping On Orders Over $35!
List Price: ~~$45.52~~ Save up to $14.79
- Rent
  
  $30.73
  
  Due: Aug 13
- Buy New
  
  $45.47
- Marketplace
  
  See Prices
Using Event-b for Critical Device Software Systems

by Glover, Keith

ISBN13: 9781981128860

ISBN10: 1981128867

Format: Paperback

Rental Textbook Copy Usually Ships in 3-5 Business Days

New Textbook Copy Usually Ships in 3-5 Business Days

Free Shipping On Orders Over $35!
List Price: ~~$48.55~~ Save up to $15.78
- Rent
  
  $32.77
  
  Due: Aug 13
- Buy New
  
  $48.50
- Marketplace
  
  See Prices
Using Event-b for Critical Device Software Systems

by Singh, Neeraj Kumar

ISBN13: 9781447152590

ISBN10: 144715259X

Format: Hardcover
List Price: ~~$139.99~~ Save up to $139.99
- Digital
  
  See Prices
- Marketplace
  
  See Prices
Using Event-b for Critical Device Software Systems

by Singh, Neeraj Kumar

ISBN13: 9781447157908

ISBN10: 1447157907

Format: Paperback
List Price: ~~$139.00~~

We're Sorry.
No Options Available at This Time.
Using Event-B for Critical Device Software Systems

by Neeraj Kumar Singh

ISBN13: 9781447152606

ISBN10: 1447152603

Format: Nonspecific Binding
List Price: ~~$171.96~~

We're Sorry.
No Options Available at This Time.