💥 ¡Este Weekend es de los Importados con hasta 50% OFF!  Ver más

Enviar a
Santiago, Región Metropolitana
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 Marieke Huisman

Encontramos 16 Libros para marieke huisman

Formal Techniques for Distributed Objects, Components, and Systems (en Inglés)

Formal Techniques for Distributed Objects, Components, and Systems (en Inglés)

António Ravara;Marieke Huisman
Springer Nature B.V., 2023, Tapa Blanda, Nuevo
50%
dcto.

$ 134.690

$ 67.350
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (en Inglés)

Beyer, Dirk ; Huisman, Marieke
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 115.860

$ 57.930
Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In (en Inglés)

Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In (en Inglés)

Huisman, Marieke ; Ravara, António
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 147.810

$ 73.910
Concise Guide to Software Verification. From Model Checking to Annotation Checking (en Inglés)

Concise Guide to Software Verification. From Model Checking to Annotation Checking (en Inglés)

Marieke Huisman;Anton Wijs
Springer, 2023, Tapa Blanda, Nuevo
50%
dcto.

$ 134.690

$ 67.350
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Confe (en Inglés)

Beyer, Dirk ; Huisman, Marieke
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 115.860

$ 57.930
Concise Guide to Software Verification: From Model Checking to Annotation Checking (en Inglés)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (en Inglés)

Huisman, Marieke ; Wijs, Anton
Springer, 1 edición, Tapa Dura, Nuevo
50%
dcto.

$ 179.770

$ 89.890
Fundamental Approaches to Software Engineering: 20Th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and. Computer Science and General Issues) (en Inglés)

Fundamental Approaches to Software Engineering: 20Th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and. Computer Science and General Issues) (en Inglés)

Huisman Marieke,Rubin Julia
Springer, 1 edición, Tapa Blanda, Nuevo
50%
dcto.

$ 107.870

$ 53.940
Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Dirk Beyer;Marieke Huisman
Springer Nature B.V., 2018, Tapa Blanda, Nuevo
45%
dcto.

$ 120.690

$ 66.380
Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (en Inglés)

Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (en Inglés)

Ábrahám, Erika ; Huisman, Marieke
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 163.790

$ 81.900
Formal Methods for Industrial Critical Systems: 27th International Conference, Fmics 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (en Inglés)

Formal Methods for Industrial Critical Systems: 27th International Conference, Fmics 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (en Inglés)

Groote, Jan Friso ; Huisman, Marieke
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 147.810

$ 73.910
Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Steffen, Bernhard ; Kordon, Fabrice ; Huisman, Marieke
Saint Philip Street Press, Tapa Blanda, Nuevo
50%
dcto.

$ 120.040

$ 60.020
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, (en Inglés)

Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 115.860

$ 57.930
Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems (en Inglés)

Steffen, Bernhard ; Kordon, Fabrice ; Huisman, Marieke
Saint Philip Street Press, Tapa Dura, Nuevo
50%
dcto.

$ 142.860

$ 71.430
Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Anton Wijs;Marieke Huisman
Springer International Publishing AG, 2024, Tapa Blanda, Nuevo
50%
dcto.

$ 123.850

$ 61.930
Tests and Proofs: 18Th International Conference, tap 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science) (en Inglés)

Tests and Proofs: 18Th International Conference, tap 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science) (en Inglés)

Huisman Marieke,Howar Falk
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 275.630

$ 137.820
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (en Inglés)

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings (en Inglés)

Huisman, Marieke ; Păsăreanu, Corina ; Zhan, Naijun
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 214.120

$ 107.060

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