Improving Scalability of Model Checking Software Architectures Improving Scalability of Model Checking Software Architectures
"synopsis" may belong to another edition of this title.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 5905200-n
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Improving Scalability of Model Checking Software Architectures. Book. Seller Inventory # BBS-9783639101423
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639101423
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. Seller Inventory # LU-9783639101423
Quantity: Over 20 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783639101423
Quantity: Over 20 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9783639101423
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9783639101423_new
Quantity: Over 20 available
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783639101423
Quantity: 10 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 5905200-n
Quantity: Over 20 available
Seller: moluna, Greven, Germany
Condition: New. This thesis presents a methodology that shows howabstraction can be considered during modeltransformation to reduce the resulting Color PetriNet (CPN) state space while preserving the expectedbehavior of the software. Detailed descri. Seller Inventory # 4957521
Quantity: Over 20 available