cover
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…

Edition
1
ISBN/ISSN
978-3-031-19759-8
Collation
xiii, 474p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437 Lev
cover
Leveraging Applications of Formal Methods, Verification and Validation. Adapt…
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…

Edition
1
ISBN/ISSN
978-3-031-19759-8
Collation
xiii, 474p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.11 Lev
cover
Leveraging Applications of Formal Methods, Verification and Validation. Pract…
Margaria, TizianaSteffen, Bernhard

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which too…

Edition
1
ISBN/ISSN
-
Collation
xiii, 424p.: Ill.
Series Title
Lecture Notes in Computer Science
Call Number
005.437

Search Result

Found 3 from your keywords: Author : "Steffen, Bernhard"
Query took 0.00112 second(s) to complete
Suggestion
image
Kinerja Penelitian Tanaman Pangan, Buku 4 Jagung, Sorgun, Ubi Kayu, dan Ubi Jalar
Syam, Mahyuddin - Hermanto, Hermanto - Mursaddad, Arif - Pusat Penelitian dan Pengembangan Tanaman Pangan ( Badan Penelitian dan Pengembangan Pertanian )
image
Verification Validation and Testing in Software Enginering
Dasso Aristides - Funes Ana - Roth Kristin - Neidig Jennifer - Reed Sara - Potter Michelle - Pizar Chuck
image
HUBUNGAN KARAKTERISTIK DAN PERAN KELUARGA DALAM DETEKSI DINI DENGAN KEJADIAN STUNTING PADA ANAK USIA BALITA DI KABUPATEN MUARO JAMBI.
Syofyanengsih, Syofyanengsih
image
PERANCANGAN SISTEM INFORMASI PENJUALAN PADA PERMATA FRESH MART MENGGUNAKAN METODE USER-CENTERED DESIGN
Afifa, Sheiladita
image
MINUMAN FUNGSIONAL DARI KOMBINASI KOPI BIJI SALAK (Salacca zalacca (Gaertn.) Voss), EKSTRAK GAMBIR (Uncaria Gambir Roxb.) DAN BUBUK JAHE (Zingiber officinale var. rubrum).
Prasetya, Kendra Julian