Journeys Between Formal Methods and the Railway Industry | 34.65 MB
Title: Journeys Between Formal Methods and the Railway Industry
Author: Maurice H. ter Beek
Category: Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development
Language: English | 363 Pages | ISBN: 9783032124845
Steam Railway – Issue 580, February 5, 2026
English | 100 Pages | PDF | 111.2 MB
The Railway MagazinFebruary 2026
English | 100 Pages | PDF | 101.56 MB
Railway Bylines MagazinFebruary 2026
English | 56 Pages | PDF | 45.7 MB
Narrow Gauge & Industrial Railway Modelling Review MagazinIssue 145, January 2026
English | 56 Pages | PDF | 40.52 MB
Heritage Railway – Issue 341, January 16, 2026
English | 100 Pages | PDF | 104.34 MB
Railway ModelleFebruary 2026
English | 156 Pages | PDF | 95.94 MB
British Railway Modelling – February 2026
English | 148 Pages | PDF | 127.09 MB
British Railway Modelling – February 2026
English | 148 Pages | PDF | 127.09 MB
Heritage Railway – Issue 340, December 19, 2026
English | 100 Pages | PDF | 108.74 MB