BooksRock.com - Kids Books At Amazing Low Prices!
www.booksrock.com
Sign In
/
Create an account
Home
Categories
Hot Books
Book Bargains
Box Assortment
Power Search
Limit this search to....
All
Books
DVDs
CDs
(4 items found)
Title
Author / Artist
Prod Type
ISBN/ISBN-13
or UPC
Pub
Date
Price
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control
1996 Edition (Lecture Notes in Mathematics)
Abrial, Jean-Raymond
Paperback
3540619291 /
9783540619291
10/1996
$104.49
Modeling in Event-B: System and Software Engineering
Abrial, Jean-Raymond
Hardcover
0521895561 /
9780521895569
05/2010
$152.00
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
(Lecture Notes in Computer Science: Festschrift)
Abrial, Jean-Raymond
Paperback
3642114466 /
9783642114465
01/2010
$52.24
The B-Book: Assigning Programs to Meanings
Abrial, J. R.
Paperback
0521021758 /
9780521021753
11/2005
$117.80
(4 items found)