Teaches new methods for specifying, analyzing and testing software that increase automation in each step.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Jonathan Jacky is a research scientist at the University of Washington in Seattle. He is experienced in embedded control systems, safety-critical systems, signal processing, and scientific computing. He has taught at the Evergreen State College and has been a visiting researcher at Microsoft Research. He is the author of The Way of Z: Practical Programming with Formal Methods.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Artikel-Nr. ABBB-141819
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: Used. pp. 368. Artikel-Nr. 8329583
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9780521687614_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 1st edition. 349 pages. 9.00x8.75x0.50 inches. In Stock. Artikel-Nr. x-0521687616
Anzahl: 2 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Teaches new methods for specifying, analyzing and testing software that increase automation in each step. Num Pages: 366 pages, 2 tables 43 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 228 x 177 x 17. Weight in Grams: 590. . 2007. Illustrated. paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521687614
Anzahl: Mehr als 20 verfügbar