Formal methods of V&V of partial specifications an experience report (SuDoc NAS 1.26:203075)

Name: Formal methods of V&V of partial specifications an experience report (SuDoc NAS 1.26:203075)
Author: S. M. Easterbrook
ISBN: 978B000111241

Author S. M. Easterbrook

Publisher National Aeronautics and Space Administration National Technical Information Service, distributor

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Price not listed

🛒 Buy New on Amazon 🇺🇸

Book Details

Author(s)S. M. Easterbrook

PublisherNational Aeronautics and Space Administration National Technical Information Service, distributor

ISBN / ASINB00011124G

ISBN-13978B000111241

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸