Logic-Based Program Synthesis and Transformation LOPSTR (Symposium) (creator), Santiago Escobar (editor), Laura Titolo (editor) ISBN: 9783032048479 Razpoložljivost: Na zalogi Vezava: Mehka vezava 58,97 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
NASA Formal Methods International Symposium on NASA Formal Methods (creator), Aaron Dutle (editor), Laura Humphrey (editor), Laura Titolo (editor) ISBN: 9783031937057 Razpoložljivost: Na zalogi Vezava: Mehka vezava 167,86 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Formal Methods for Industrial Critical Systems International Workshop on Formal Methods for Industrial Critical Systems (creator), Alessandro Cimatti (editor), Laura Titolo (editor) Datum izdaje: 2023 ISBN: 9783031436802 Razpoložljivost: Na zalogi Vezava: Mehka vezava 65,65 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
