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

AvRajesh Gupta,Paul Le Guernic m. fl.

Inbunden, Engelska, 2004

2 159 kr

Skickas inom 10-15 vardagar

Formal Methods and Models for System Design

A System Level Perspective

AvRajesh Gupta,Paul Le Guernic m. fl.

Häftad, Engelska, 2011

2 159 kr

Skickas inom 10-15 vardagar

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

AvSandeep Kumar Shukla,Jean-Pierre Talpin

Inbunden, Engelska, 2010

1 389 kr

Skickas inom 10-15 vardagar

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

AvSandeep Kumar Shukla,Jean-Pierre Talpin

Häftad, Engelska, 2014

1 679 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

AvWei Dong,Jean-Pierre Talpin

Häftad, Engelska, 2022

929 kr

Skickas inom 10-15 vardagar

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

AvShin Nakajima,Jean-Pierre Talpin m. fl.

Inbunden, Engelska, 2017

1 389 kr

Skickas inom 10-15 vardagar

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

AvShin Nakajima,Jean-Pierre Talpin m. fl.

Häftad, Engelska, 2018

1 389 kr

Skickas inom 10-15 vardagar