Hoppa till sidans huvudinnehåll

Jean-Pierre Talpin - Böcker

Visar alla böcker från författaren Jean-Pierre Talpin.
7 produkter

Formal Methods and Models for System Design

A System Level Perspective

Av Rajesh Gupta, Paul Le Guernic m. fl

Inbunden, Engelska, 2004

2 179 kr

Skickas inom 10-15 vardagar

Formal Methods and Models for System Design

A System Level Perspective

Av Rajesh Gupta, Paul Le Guernic m. fl

Häftad, Engelska, 2011

2 179 kr

Skickas inom 10-15 vardagar

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Av Sandeep Kumar Shukla, Jean-Pierre Talpin

Inbunden, Engelska, 2010

1 399 kr

Skickas inom 10-15 vardagar

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

Av Sandeep Kumar Shukla, Jean-Pierre Talpin

Häftad, Engelska, 2014

1 689 kr

Skickas inom 10-15 vardagar

Dependable Software Engineering. Theories, Tools, and Applications

8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Av Wei Dong, Jean-Pierre Talpin

Häftad, Engelska, 2022

939 kr

Skickas inom 10-15 vardagar

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

Av Shin Nakajima, Jean-Pierre Talpin m. fl

Inbunden, Engelska, 2017

1 399 kr

Skickas inom 10-15 vardagar

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

Av Shin Nakajima, Jean-Pierre Talpin m. fl

Häftad, Engelska, 2018

1 399 kr

Skickas inom 10-15 vardagar