Formal Methods: Foundations and Applications
- 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 564,95
Medlemspris
kr. 509,95
- Du sparer kr. 55,00
- Fri fragt
-
Leveringstid: Kan forudbestilles Forventet levering: 01-01-1900
- Kan pakkes ind og sendes som gave
Beskrivelse
Detaljer
- SprogEngelsk
- Udgivelsesdato07-02-2026
- ISBN139783032120854
- Forlag Springer International Publishing AG
- FormatPaperback
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Kunstig intelligens
- Naturligt sprog og maskinoversættelse
- Formal Methods: Foundations and Applications
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Formal Methods: Foundations and Applications
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Formal Methods: Foundations and Applications