Trefferliste "Formal Systems" - alle Bücher, LPs, CDs und mehr

Wir konnten keine exakten Treffer zu Ihrer Suche nach "formal systems" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Security and Trust Management

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 54,75

Networked Systems

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short papers p…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 63,51
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.