Filtre: Engleză Tipărit la comandă

Cărți de Manfred Broy

Automotive Software-Connected Services in Mobile Networks

Editat de Manfred Broy et al.

27 sep 2006

Preț: 314^.86 lei 393^.57 lei

43-57 zile

-20%

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4922

Editat de Manfred Broy et al.

14 iul 2008

Preț: 316^.28 lei 395^.35 lei

43-57 zile

-20%

Methods of Programming: Selected Papers on the CIP-Project

Lecture Notes in Computer Science, nr. 544

Editat de Manfred Broy et al.

23 oct 1991

Preț: 319^.42 lei 399^.28 lei

43-57 zile

-20%

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

Editat de Klaus Pohl et al.

5 iul 2018

Preț: 322^.74 lei 403^.43 lei

43-57 zile

-20%

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

Monographs in Computer Science

Autor Manfred Broy et al.

27 apr 2001

Preț: 327^.99 lei 409^.99 lei

43-57 zile

-20%

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

Editat de Klaus Pohl et al.

14 dec 2014

Preț: 323^.79 lei 404^.74 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 735

Editat de Dines Bjørner et al.

5 oct 1993

Preț: 327^.04 lei 408^.80 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 1009

Editat de Manfred Broy et al.

8 noi 1995

Preț: 327^.84 lei 409^.80 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 1181

Editat de Dines Bjørner et al.

4 dec 1996

Preț: 327^.99 lei 409^.99 lei

43-57 zile

-20%

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

NATO ASI Subseries F:, nr. 36

F. Bauer et al.

9 apr 2012

Preț: 328^.79 lei 410^.99 lei

43-57 zile

-20%

Formal Systems Specification: The RPC-Memory Specification Case Study

Lecture Notes in Computer Science, nr. 1169

Editat de Manfred Broy et al.

6 noi 1996

Preț: 332^.74 lei 415^.93 lei

43-57 zile

-20%

Editat de Manfred Broy et al.

13 ian 2004

Preț: 336^.47 lei 420^.59 lei

43-57 zile

-20%

Editat de Manfred Broy et al.

27 iun 2005

Preț: 339^.14 lei 423^.92 lei

43-57 zile | 6-12 zile

-20%

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

Lecture Notes in Computer Science, nr. 2244

Editat de Dines Bjørner et al.

14 dec 2001

Preț: 350^.48 lei 438^.11 lei

43-57 zile

-20%

Programming and Mathematical Method: International Summer School

NATO ASI Subseries F:, nr. 88

Editat de Manfred Broy et al.

21 dec 2011

Preț: 629^.39 lei 786^.75 lei

43-57 zile

-20%

Mathematical Methods in Program Development

NATO ASI Subseries F:, nr. 158

Editat de Manfred Broy et al.

6 oct 2011

Preț: 632^.58 lei 790^.72 lei

43-57 zile

-20%

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

NATO ASI Subseries F:, nr. 55

F. L. Bauer et al.

6 dec 2011

Preț: 633^.08 lei 791^.34 lei

43-57 zile

-20%

Editat de Dines Bjørner et al.

26 ian 2000

Preț: 635^.23 lei 794^.04 lei

43-57 zile

-20%

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

Springer Study Edition

F. L. Bauer et al.

dec 1986

Preț: 635^.44 lei 794^.30 lei

43-57 zile

-20%

Software Pioneers: Contributions to Software Engineering

Editat de Manfred Broy et al.

13 apr 2014

Preț: 974^.00 lei 1217^.50 lei

43-57 zile

-20%

Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services

Progress in IS

Editat de Jennifer Hehn et al.

15 feb 2023

Preț: 1062^.23 lei 1295^.39 lei

43-57 zile

-18%

NATO ASI Subseries F:, nr. 118

Editat de Manfred Broy

7 dec 2010

Preț: 1228^.27 lei 1535^.34 lei

43-57 zile

-20%

Engineering Theories of Software Intensive Systems

Editat de Manfred Broy et al.

15 iul 2005

Preț: 1234^.66 lei 1543^.33 lei

43-57 zile

-20%

NATO ASI Subseries F:, nr. 152

Editat de Manfred Broy

26 sep 2011

Preț: 1230^.97 lei 1538^.70 lei

43-57 zile

-20%

Cărți de Manfred Broy

Automotive Software-Connected Services in Mobile Networks

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Methods of Programming: Selected Papers on the CIP-Project

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

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

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

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

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

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

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Formal Systems Specification: The RPC-Memory Specification Case Study

Perspectives of Systems Informatics

Model-Based Testing of Reactive Systems

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

Programming and Mathematical Method: International Summer School

Mathematical Methods in Program Development

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Perspectives of System Informatics

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

Software Pioneers: Contributions to Software Engineering

Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services

Program Design Calculi

Engineering Theories of Software Intensive Systems

Deductive Program Design

Papetărie, jocuri, reviste

Cărți de Manfred Broy