熱門搜尋

    您輸入的關鍵字: Broy

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

    搜尋結果共 36 筆, 頁數 1 / 2

    Software Pioneers: Contributions to Software Engineering

    Software Pioneers: Contributions to Software Engineering

    • 優惠價: 8000

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

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

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

    • 優惠價: 3750
    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
    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

    • 優惠價: 7450
    Sowing the Seed of Faith

    Sowing the Seed of Faith

    • 優惠價: 595
    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

    • 優惠價: 4000

    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

    • 優惠價: 18950

    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

    • 優惠價: 8950

    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

    • 優惠價: 6000

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

    The Mommy Journal: Letters to Your Child

    The Mommy Journal: Letters to Your Child

    • 優惠價: 800

    Save and savor those precious moments with your child in this journal for mothers. Ask any mother an... 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 fundamental mathematical and logical approach to soft- ware and systems enginee... 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

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

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

    • 優惠價: 3000
    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

    • 優惠價: 4250
    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

    • 優惠價: 4250
    Deductive Program Design

    Deductive Program Design

    • 優惠價: 14450
    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

    • 優惠價: 6950
    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,

    • 優惠價: 6950
    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

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

    Formal Systems Specification: The Rpc-Memory Specification Case Study

    • 優惠價: 6950
    Deductive Program Design

    Deductive Program Design

    • 優惠價: 12500
    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

    • 優惠價: 6450
    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

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

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

    • 優惠價: 7950

    搜尋推薦

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

    您可能感興趣的活動

    • 【高風險世代的生活指南】 _生存地圖∣對抗疫情∣危殆生活∣百工職人,參展書66折起!