Sinopsis
Improving Scalability of Model Checking Software Architectures Improving Scalability of Model Checking Software Architectures
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Improving Scalability of Model Checking Software Architectur...
Imagen del vendedor
Improving Scalability of Model Checking Software Architectures
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5905200-n
Comprar nuevo
EUR 47,51
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Improving Scalability of Model Checking Software Architectures (Paperback or Softback)
Publicado por
VDM Verlag 11/18/2008, 2008
ISBN 10: 3639101421
ISBN 13: 9783639101423
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Improving Scalability of Model Checking Software Architectures. Book. Nº de ref. del artículo: BBS-9783639101423
Comprar nuevo
EUR 49,86
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen de archivo
Improving Scalability of Model Checking Software Architectures
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783639101423
Comprar nuevo
EUR 50,85
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Improving Scalability of Model Checking Software Architectures
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9783639101423
Comprar nuevo
EUR 51,44
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Improving Scalability of Model Checking Software Architectures
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783639101423
Comprar nuevo
EUR 48,71
Envío por EUR 3,81
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Improving Scalability of Model Checking Software Architectures
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783639101423_new
Comprar nuevo
EUR 47,35
Envío por EUR 13,87
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Improving Scalability of Model Checking Software Architectures
Publicado por
VDM Verlag 2008-11-18, 2008
ISBN 10: 3639101421
ISBN 13: 9783639101423
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783639101423
Comprar nuevo
EUR 44,64
Envío por EUR 17,93
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Improving Scalability of Model Checking Software Architectures
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5905200-n
Comprar nuevo
EUR 47,33
Envío por EUR 17,36
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Improving Scalability of Model Checking SoftwareArchitectures
Publicado por
VDM Verlag Dr. Müller, 2013
ISBN 10: 3639101421
ISBN 13: 9783639101423
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: 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. Nº de ref. del artículo: 4957521
Comprar nuevo
EUR 52,05
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Improving Scalability of Model Checking Software Architectures : A Thesis on Model Checking and Transformation Method to Improve Analysis of Software Architectures in UML
Publicado por
VDM Verlag Dr. Müller, 2008
ISBN 10: 3639101421
ISBN 13: 9783639101423
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 descriptions ofthe transformation process from UML model to CPNmodel for software architectures of applicationsystems are presented as well as two case studies -Automated Teller Machine (ATM) system and Elevatorsystem. The state spaces generated during analysis ofeach case study are presented, and the practicalfeasibility of this methodology is described usingresults of each case study. Nº de ref. del artículo: 9783639101423
Comprar nuevo
EUR 49,95
Envío por EUR 60,71
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles