Journeys Between Formal Methods and the Railway Industry Maurice H. ter Beek (editor), Stefania Gnesi (editor), Anne E. Haxthausen (editor), Laura Semini (editor) ISBN: 9783032124838 Razpoložljivost: Na zalogi Vezava: Mehka vezava 97,27 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Formal Methods for Industrial Critical Systems Anne E. Haxthausen (editor), Wendelin Serwe (editor) Datum izdaje: 2024 ISBN: 9783031681493 Razpoložljivost: Na zalogi Vezava: Mehka vezava 65,96 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Computer Science and General Issues John S. Fitzgerald (editor), Anne E. Haxthausen (editor), Husnu Yenigun (editor) Datum izdaje: 2008 ISBN: 9783540857617 Razpoložljivost: Na zalogi Vezava: Mehka vezava 57,39 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo
Applicable Formal Methods for Safe Industrial Products Anne E. Haxthausen (editor), Wen-ling Huang (editor), Markus Roggenbach (editor), Jan Peleska (honouree) Datum izdaje: 2023 ISBN: 9783031401312 Razpoložljivost: Na zalogi Vezava: Mehka vezava 76,15 EUR Brezplačna dostava v Slovenijo. Več o knjigi Naroči knjigo