Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I için kapak resmi
Başlık:
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Yazar:
Platzer, André. editor. (orcid)0000-0001-7238-5710
ISBN:
9783031711626
Basım Bilgisi:
1st ed. 2025.
Fiziksel Tanımlama:
XXII, 680 p. 166 illus., 113 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 14933
Özet:
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. .
Konu Terimleri:
Software engineering.

Computer science.

Computers, Special purpose.

Programming languages (Electronic computers).

Microprogramming .

Natural language processing (Computer science).

Computer Science Logic and Foundations of Programming.

Special Purpose and Application-Based Systems.

Programming Language.

Control Structures and Microprogramming.

Natural Language Processing (NLP).
Yazar Ek Girişi:
Platzer, André.

Rozier, Kristin Yvonne.

Pradella, Matteo.

Rossi, Matteo.
Tüzel Kişi Ek Girişi:
SpringerLink (Online service)
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-71162-6
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
 E-Kitap 605095-1001 ONLINE
Arıyor...

On Order