menú

0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 
Filtros utilizados:

Libros de Margaria Tiziana Steffen Bernhard

Encontramos 15 Libros para margaria tiziana steffen bernhard

Estado
Formato
Ordenar
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 251.38

$ 180.99

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 144.28

$ 103.89

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 251.38

$ 180.99

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 280.14

$ 201.70

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, 2010, Tapa Blanda, Nuevo
28%
dcto.

$ 291.80

$ 210.10

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 144.28

$ 103.89

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 203.78

$ 146.72

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22 (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22 (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 179.98

$ 129.58

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 144.28

$ 103.89

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, (en Inglés)

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, 2010, Tapa Blanda, Nuevo
28%
dcto.

$ 152.72

$ 109.96

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, Isola 2022, Rhodes, Greece (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 203.78

$ 146.72

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 144.28

$ 103.89

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 147.23

$ 106.01

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 203.78

$ 146.72

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (en Inglés)

Margaria, Tiziana ; Steffen, Bernhard
Springer, Tapa Blanda, Nuevo
28%
dcto.

$ 144.28

$ 103.89

Se han encontrado pocos libros. Puedes repetir la búsqueda sin exigir que estén presentes todos los términos buscados.