Cărți de Marieke Huisman

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3956

Editat de Gilles Barthe et al.

18 apr 2006

Preț: 314^.86 lei 393^.57 lei

6-8 săpt.

-20%

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Editat de Gilles Barthe et al.

21 ian 2005

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13047

Editat de Marieke Huisman et al.

10 noi 2021

Preț: 699^.94 lei 874^.94 lei

6-8 săpt.

-20%

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

Texts in Computer Science

Autor Marieke Huisman et al.

25 iul 2023

Preț: 521^.90 lei 652^.38 lei

38-45 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13910

Editat de Marieke Huisman et al.

10 iun 2023

Preț: 453^.77 lei 567^.21 lei

6-8 săpt.

-20%

Tests and Proofs

Lecture Notes in Computer Science

Editat de Marieke Huisman et al.

10 sep 2024

Preț: 732^.51 lei 963^.82 lei

38-45 zile

-24%

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10805

Editat de Dirk Beyer et al.

12 apr 2018

Preț: 354^.38 lei 442^.98 lei

6-8 săpt.

-20%

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9681

Editat de Erika Ábrahám et al.

24 mai 2016

Preț: 523^.37 lei 654^.21 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13487

Editat de Jan Friso Groote et al.

12 aug 2022

Preț: 454^.57 lei 568^.21 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Lecture Notes in Computer Science, nr. 11429

Editat de Dirk Beyer et al.

4 apr 2019

Preț: 320^.92 lei 401^.15 lei

3-5 săpt. | 6-12 zile

-20%

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10202

Editat de Marieke Huisman et al.

22 mar 2017

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Autor Bernhard Steffen et al.

7 oct 2020

Preț: 255^.49 lei 319^.36 lei

6-8 săpt.

-20%