Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author="ROZIER, Kristin Yvonne...
cover
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Comment Share
Platzer, AndréROZIER, Kristin YvonnePRADELLA, Matteo

Kumpulan buku akses terbuka LNCS 14933 + 14934 merupakan prosiding yang diseleksi dari Simposium Internasional ke-26 tentang Metode Formal, FM 2024, yang berlangsung di Milan, Italia, pada bulan September 2024. 51 makalah lengkap dan 4 makalah pendek yang disertakan dalam prosiding ini ditinjau dan dipilih secara saksama dari 219 kiriman. Prosiding ini juga mencakup 2 ceramah undangan dengan pa…

Edition
1
ISBN/ISSN
978-3-031-71177-0
Collation
1 online resource ( XXII, 652 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
004.21 PLA f
cover
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
Comment Share
Platzer, AndréROZIER, Kristin YvonnePRADELLA, Matteo

Kumpulan buku akses terbuka Catatan Kuliah Ilmu Komputer (LNCS, Lecture Notes in Computer Science) -14933 + 14934 merupakan prosiding yang diseleksi dari Simposium Internasional ke-26 tentang Metode Formal, FM 2024, yang berlangsung di Milan, Italia, pada bulan September 2024. 51 makalah lengkap dan 4 makalah pendek yang disertakan dalam prosiding ini ditinjau dan dipilih secara saksama dari 21…

Edition
1
ISBN/ISSN
978-3-031-71162-6
Collation
1 online resource ( XXII, 680 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
004.21 PLA f