熱門搜尋
您輸入的關鍵字: Broy
搜尋結果共 44 筆, 頁數 1 / 1
呈現:
New York The Big Apple Die Stadt, die niemals schl ft - auch nicht das B se in ihr Hier leben Christ... more
Unique collection of historically significant papers completed by descriptions of the pioneers, of t... more
Die Entwicklung umfangreicher Softwaresysteme erfordert neben der Beherrschung von Softwaretechnik a... more
This book presents a mathematical and logical approach to program and software development suitable ... more
Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-... more
Software engineering has over the years been applied in many different fields, ranging from telecomm... more
Testing is the primary hardware and software verification technique used by industry today. Usually,... more
This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ers... more
Diese Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen so... more
This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, ... more
This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it sh... more
This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical program... more
Deductive program design aims at methods that guide and support the development of programs by techn... more
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Softw... more
Save and savor those precious moments with your child in this journal for mothers. Ask any mother an... more
A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the de... more
This open access book presents the results of the project "SysML Workbench for the SPES Methodology"... more