1
Formal Methods

Formal Methods

Serie:
Undertitel: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I Lecture Notes in Computer Science
Redaktör: Platzer, Andre , Rozier, Kristin Yvonne , Pradella, Matteo , Rossi, Matteo
Upplaga: 2025 ed.
Höjd: 235 mm
Bredd: 155 mm
Omfång: 680 s.
Övrig information:
Switzerland, Springer International Publishing AG
  • BOK (Häftad)
  • ISBN/EAN: 9783031711619
  • Utgivning: 2024-09-11
  • Upplaga: 2025 ed.
  • Utgivare: Springer International Publishing AG
  • Språk: Engelska
  • Utgivningsland: Switzerland
  • Art. nr: 4582772
Utrustad (5-8 dgr)
Logga in för att se ditt pris
st
Outrustad (5-8 dgr)
Pris: 511:-
Ditt pris: 511:- 
st