Envío a todo Costa Rica por solo ₡1490 

Enviar a
Costa Rica
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. Libros 

Libros de Margaria Tiziana Steffen Bernhard

Encontramos 28 Libros para margaria tiziana steffen bernhard

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

₡ 25.862
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

₡ 25.862
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

₡ 25.862
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

₡ 25.862
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

₡ 25.862
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

₡ 25.862
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12Th International Symposium, Isola 2024, Crete, Greece,. V (Lecture Notes in Computer Science, 15223) (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12Th International Symposium, Isola 2024, Crete, Greece,. V (Lecture Notes in Computer Science, 15223) (en Inglés)

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo

₡ 25.862
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

₡ 45.762
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

₡ 50.184
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

₡ 32.495
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

₡ 36.917
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12Th International Symposium, Isola 2024,. Iv (Lecture Notes in Computer Science, 15222) (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12Th International Symposium, Isola 2024,. Iv (Lecture Notes in Computer Science, 15222) (en Inglés)

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo

₡ 34.706
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

₡ 36.917
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocce de Nicola: 12Th International Symposium,. I (Lecture Notes in Computer Science, 15219) (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocce de Nicola: 12Th International Symposium,. I (Lecture Notes in Computer Science, 15219) (en Inglés)

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo

₡ 41.339
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12Th International Symposium, Isola 2024,. (Lecture Notes in Computer Science, 15221) (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12Th International Symposium, Isola 2024,. (Lecture Notes in Computer Science, 15221) (en Inglés)

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo

₡ 41.339
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

₡ 45.762
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

₡ 36.917
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12Th International. Ii (Lecture Notes in Computer Science, 15220) (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12Th International. Ii (Lecture Notes in Computer Science, 15220) (en Inglés)

Margaria Tiziana,Steffen Bernhard
Springer, Tapa Blanda, Nuevo

₡ 39.128
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

₡ 40.587
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo

₡ 29.832
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo

₡ 29.857
Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2021, Tapa Blanda, Nuevo

₡ 30.485
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

₡ 73.164
Leveraging Applications of Formal Methods, Verification and Validation. Verification. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Verification. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo

₡ 29.915
Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2016, Tapa Blanda, Nuevo

₡ 28.726
Leveraging Applications of Formal Methods, Verification and Validation. Modeling. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2018, Tapa Blanda, Nuevo

₡ 29.684
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2022, Tapa Blanda, Nuevo

₡ 29.981
Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation (en Inglés)

Bernhard Steffen;Tiziana Margaria
Springer Nature B.V., 2016, Tapa Blanda, Nuevo

₡ 28.990

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