熱門搜尋

    您輸入的關鍵字: Broy

    分類(單選)
    配送方式(可複選)
    其他(可複選)
    ~

    搜尋結果共 44 筆, 頁數 1 / 1

    Dämon I: Out of hell

    Dämon I: Out of hell

    • 優惠價: 2503

    New York The Big Apple Die Stadt, die niemals schl ft - auch nicht das B se in ihr Hier leben Christ... more

    Software Pioneers: Contributions to Software Engineering

    Software Pioneers: Contributions to Software Engineering

    • 優惠價: 10199

    Unique collection of historically significant papers completed by descriptions of the pioneers, of t... more

    Projektorganisation und Management im Software Engineering

    Projektorganisation und Management im Software Engineering

    • 優惠價: 4199

    Die Entwicklung umfangreicher Softwaresysteme erfordert neben der Beherrschung von Softwaretechnik a... more

    Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology

    Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology

    • 優惠價: 5099
    Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

    Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

    • 優惠價: 3299

    This book presents a mathematical and logical approach to program and software development suitable ... more

    Logic of Programming and Calculi of Discrete Design: International Summer School Directed by F.L. Bauer, M. Broy, E.W

    Logic of Programming and Calculi of Discrete Design: International Summer School Directed by F.L. Bauer, M. Broy, E.W

    • 優惠價: 3299
    Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra

    Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer, M. Broy, E.W. Dijkstra

    • 優惠價: 6599
    Sowing the Seed of Faith

    Sowing the Seed of Faith

    • 優惠價: 962
    Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, Ca, USA, M

    Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, Ca, USA, M

    • 優惠價: 3299

    Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-... more

    Engineering Theories of Software Intensive Systems

    Engineering Theories of Software Intensive Systems

    • 優惠價: 8950

    Software engineering has over the years been applied in many different fields, ranging from telecomm... more

    Engineering Theories of Software Intensive Systems

    Engineering Theories of Software Intensive Systems

    • 優惠價: 18950

    Software engineering has over the years been applied in many different fields, ranging from telecomm... more

    Model-based Testing of Reactive Systems

    Model-based Testing of Reactive Systems

    • 優惠價: 3299

    Testing is the primary hardware and software verification technique used by industry today. Usually,... more

    Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

    Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

    • 優惠價: 5000

    This book presents a mathematical and logical approach to program and software development suitable ... more

    Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi ’99, Akademgorodok, Novosibirsk,

    Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi ’99, Akademgorodok, Novosibirsk,

    • 優惠價: 7450

    This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ers... more

    Informatik. Eine Grundlegende Einfuhrung: Rogrammierung Und Rechnerstrukturen

    Informatik. Eine Grundlegende Einfuhrung: Rogrammierung Und Rechnerstrukturen

    • 優惠價: 2399

    Diese Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen so... more

    Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

    Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology

    • 優惠價: 2999

    This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, ... more

    Model-Based Engineering of Collaborative Embedded Systems: Extensions of the Spes Methodology

    Model-Based Engineering of Collaborative Embedded Systems: Extensions of the Spes Methodology

    • 優惠價: 3599

    This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, ... more

    Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology

    Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology

    • 優惠價: 3299

    This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it sh... more

    Programming and Mathematical Method: International Summer School

    Programming and Mathematical Method: International Summer School

    • 優惠價: 6599

    This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical program... more

    Deductive Program Design

    Deductive Program Design

    • 優惠價: 13199

    Deductive program design aims at methods that guide and support the development of programs by techn... more

    Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200

    Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200

    • 優惠價: 3299
    Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,

    Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,

    • 優惠價: 3299
    Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr

    Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr

    • 優惠價: 3299
    Formal Systems Specification: The Rpc-Memory Specification Case Study

    Formal Systems Specification: The Rpc-Memory Specification Case Study

    • 優惠價: 3299
    Deductive Program Design

    Deductive Program Design

    • 優惠價: 13199

    Deductive program design aims at methods that guide and support the development of programs by techn... more

    Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

    Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

    • 優惠價: 3299

    This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Softw... more

    Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding

    Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding

    • 優惠價: 3299
    Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

    Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

    • 優惠價: 6599
    Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A.

    Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A.

    • 優惠價: 3299
    And Now They Know

    And Now They Know

    • 優惠價: 1520
    Engineering Dependable Software Systems

    Engineering Dependable Software Systems

    • 優惠價: 7448
    Software and Systems Safety: Specification and Verification

    Software and Systems Safety: Specification and Verification

    • 優惠價: 7448
    Engineering Methods and Tools for Software Safety and Security

    Engineering Methods and Tools for Software Safety and Security

    • 優惠價: 6612
    Software Systems Reliability and Security

    Software Systems Reliability and Security

    • 優惠價: 6954
    Just Between You and Me: An Interactive Journal for Parents and Their Chidren

    Just Between You and Me: An Interactive Journal for Parents and Their Chidren

    • 優惠價: 492
    Mommy Photos

    Mommy Photos

    • 優惠價: 378
    The Mommy Journal

    The Mommy Journal

    • 優惠價: 378
    The Mommy Journal: Letters to Your Child

    The Mommy Journal: Letters to Your Child

    • 優惠價: 760

    Save and savor those precious moments with your child in this journal for mothers. Ask any mother an... more

    Software Pioneers: Contibutions to Software Engineering

    Software Pioneers: Contibutions to Software Engineering

    • 優惠價: 8950

    A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the de... more

    Requirements Targeting Software and Systems Engineering: International Workshop Rtse’97, Bernried, Germany, October 12-14, 1997

    Requirements Targeting Software and Systems Engineering: International Workshop Rtse’97, Bernried, Germany, October 12-14, 1997

    • 優惠價: 3038
    Model-Based Systems Engineering with the Spes Modeling Language: A Sysml Workbench for the Spes Methodology

    Model-Based Systems Engineering with the Spes Modeling Language: A Sysml Workbench for the Spes Methodology

    • 優惠價: 2999

    This open access book presents the results of the project "SysML Workbench for the SPES Methodology"... more

    Model-Based Systems Engineering with the Spes Modeling Language: A Sysml Workbench for the Spes Methodology

    Model-Based Systems Engineering with the Spes Modeling Language: A Sysml Workbench for the Spes Methodology

    • 優惠價: 3599

    This open access book presents the results of the project "SysML Workbench for the SPES Methodology"... more

    Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology

    Advanced Model-Based Engineering of Embedded Systems: Extensions of the Spes 2020 Methodology

    • 優惠價: 5099
    Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A.

    Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A.

    • 優惠價: 5940

    搜尋推薦

    另外從您輸入的關鍵字中,推薦您關鍵字: brody 的結果(請點選看全部符合的商品)

    您可能感興趣的活動

    • 先綁定再消費最划算!OPEN POINT 會員首次綁定成功立即送50元E-Coupon