Robert Stärk – författare
Visar alla böcker från författaren Robert Stärk. Handla med fri frakt och snabb leverans.
3 produkter
Abstract State Machines
A Method for High-Level System Design and Analysis
Inbunden, 2003
567 kr
Lägg i varukorg
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with …
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Av Reinhard Kahle, Peter Schroeder-Heister m. fl.
Häftad, 2001
551 kr
Lägg i varukorg
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed …
Abstract State Machines
A Method for High-Level System Design and Analysis
Häftad, 2013
569 kr
Lägg i varukorg
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with …
