Yazar
Stephan Merz
9 cilt bulundu.
Nicolas Navet, Stephan Merz · Wiley & Sons, Incorporated, John
448 sayfa · 2010
Computer software, verification / Real-time data processing / System design
Fred Kröger, Stephan Merz · Springer London, Limited
424 sayfa · 2008
Tense (Logic) / Symbolic and mathematical Logic / Time / Logic, symbolic and mathematical
Stephan Merz, Jun Pang · Springer
469 sayfa · 2014
Software engineering / Computer science / Computer Communication Networks / Computer software / Programming Techniques
Nicolas Navet, Stephan Merz · ISTE/John Wiley
Sayfa sayısı yok · 2008
Real-time data processing / Computer software / Formal methods (Computer science) / Verification / Computer software, verification
M. Broy, Stephan Merz · Springer
541 sayfa · 1996
Memory management (Computer science) / Electronic data processing / Distributed processing / Computer networks
Jasmin Christian Blanchette, Stephan Merz · Springer
519 sayfa · 2016
Automatic theorem proving / Logic, symbolic and mathematical
