MuzzleGear.com: Muzzleloader Books: Formal Methods - Pacific '97
Merry Christmas!  
View Cart  
Customer Service 
Site map 
Search Advanced Search
 Location:  Home » Books » Methodology » Formal Methods - Pacific '97  
Guns
Knight
CVA
Traditions
Thompson Center
Pisolts / Revolvers
Accessories
Powder Flasks
Powder Measures
Bullet Starters
Ramrods & Ramrod Accessories
Cappers
Shooting Patches
Speed Loaders
Nipple Accessories
Accessory Packs
Cleaning Accessories
Scopes & Sights
Accessories By Manufacturer
Thompson Center
Traditions
Knight
Truglo
Books, Magazines, & DVDs
Books
Magazines
General Hunting DVD's
Community
Discussion Fourm
Muzzleloading Blog

Email Newsletter
Get info on Sales, Events, New Products, and More!



Formal Methods - Pacific '97
Creators: L. Groves, S. Reeves
Publisher: National University of Singapore,Singapore
Category: Book


Media: Paperback
Number Of Items: 1
Pages: 330

ISBN: 981308331X
EAN: 9789813083318
ASIN: 981308331X

Publication Date: December 30, 1997
 
 All (7) New (2) Used (5)
PriceConditionSeller
$35.00


Newmailroombooks
Avg. Feedback Rating: 4.1 out of 5 stars 31 reviews
Location: United States (NJ)
Availability: Usually ships in 1-2 business days

$35.01


Usedbookmongerltd
Availability: Usually ships in 1-2 business days

$48.98


Usedplanet_books
Availability: Usually ships in 1-2 business days

$50.98


Useda1books
Avg. Feedback Rating: 4.5 out of 5 stars 83291 reviews
Location: United States (NJ)
Comments: May contain remainder marks. Over 3.5 million customers served. Order now. Selling books online since 1995. Few left in stock - order soon. Code: D20081117055230S
Shipping: International shipping available
Availability: Usually ships in 1-2 business days

$53.00


Usedbookboothaz
Avg. Feedback Rating: 4.9 out of 5 stars 828 reviews
Location: United States (OH)
Comments: Publisher: Springer-VerlagDate of Publication: 1997Binding: Soft CoverCondition: GoodDescription: 6" x 9" 981308331x Actually in stock! 320pp. Illustrated. Text clean and bright, binding tight, scuffing/shelf wear to covers and edges. Proceedings of FMP '97, Wellington, NZ. Consists of 32 papers presented at the conference, pertaining to discrete mathematics and theoretical computer science. The focus is on mathematically-based techniques for design and development of computer systems, especially formal and rigorous methods for developing executable programs from abstract specifications, tool support for formal software development, and practical experience with formal methods. Topics also include software specification and verification, hardware specification and verification, and specification and development of real-time and concurrent systems.
Shipping: Expedited shipping available
Shipping: International shipping available
Availability: Usually ships in 1-2 business days

$66.41


Usedquality7
Avg. Feedback Rating: 4.7 out of 5 stars 41665 reviews
Location: United States (GA)
Comments: Excellent customer service. Order inquiries handled promptly.
Availability: Usually ships in 1-2 business days

$100.18


Newinternationalbooks
Avg. Feedback Rating: 4.7 out of 5 stars 204247 reviews
Location: United States (MD)
Comments: Thousands of satisfied customers!
Shipping: International shipping available
Availability: Usually ships in 1-2 business days
Site by: Troy Peterson

Muzzlegear is an Associate of

About us | Contact Us | Privacy Policy | Disclaimer
Copyright © 2007 MuzzleGear.com
The MuzzleGear.com Logo, "Load. Prime. Shoot.", and MuzzleMail
are Trademarks of MuzzleGear.com