Kategorien

Zu "Formal Methods" wurden 14 Produkte gefunden

Filter
–
Download
PDF
Formal Development of a Network-Centric RTOS
Formal Development of a Network-Centric RTOS Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

96,29 €*
Download
PDF
Practical Distributed Processing
Practical Distributed Processing Phillip J. Brooke, Richard F. Paige

41,64 €*
Download
PDF
Rigorous Software Development
Rigorous Software Development José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

35,69 €*
Download
PDF
Hagenberg Business Process Modelling Method
Hagenberg Business Process Modelling Method Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Fr

106,99 €*
Download
PDF
Validation of Evolving Software
Validation of Evolving Software Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

90,94 €*
Download
PDF
FORMS/FORMAT 2010
FORMS/FORMAT 2010 Eckehard Schnieder, Geza Tarnai

192,59 €*
Download
PDF
Cyberpatterns
Cyberpatterns Clive Blackwell, Hong Zhu

96,29 €*
Download
PDF
A Rigorous Semantics for BPMN 2.0 Process Diagrams
A Rigorous Semantics for BPMN 2.0 Process Diagrams Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr

90,94 €*
Download
PDF
Concurrency Theory
Concurrency Theory Howard Bowman, Rodolfo Gomez

117,69 €*
Download
PDF
Formal Verification of Simulink/Stateflow Diagrams
Formal Verification of Simulink/Stateflow Diagrams Naijun Zhan, Shuling Wang, Hengjun Zhao

117,69 €*
Download
PDF
Robustness and Usability in Modern Design Flows
Robustness and Usability in Modern Design Flows Görschwin Fey, Rolf Drechsler

96,29 €*
Download
PDF
Mathematical Approaches to Software Quality
Mathematical Approaches to Software Quality Gerard O'Regan

96,29 €*
Download
PDF
Correct-by-Construction Approaches for SoC Design
Correct-by-Construction Approaches for SoC Design Roopak Sinha, Parthasarathi Roop, Samik Basu

106,99 €*
Download
PDF
Model-Driven Design Using IEC 61499
Model-Driven Design Using IEC 61499 Li Hsien Yoong, Partha S. Roop, Zeeshan E. Bhatti, Matthew Ming Yen Kuo

128,39 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...