|
Search | About | Preferences | Interact | Help |
| 150 million books. 1 search engine. | |
Formal Methods of Program Verification and Specificationby Franta, H. K. Berg
|
Buying Options
Serendipity:
- The 2000-2005 Outlook for Coffee and Tea Makers With Filters in Europe by Icon Group International, Inc (9780757669927)
- Old Glass Paperweights of Southern New Jersey: An American Folk Art by Clarence A. Newell (9780961954703)
- Mobilfunk: Technologien Und Anwendungen Vortrage Der 10. ITG-Fachtagung Vom 1. Bis 2. Juni 2005... by Norbert Schmidt (9783800729029)