Hoppa till sidans huvudinnehåll

Jean-Pierre Talpin – författare

Visar alla böcker från författaren .
7 produkter
Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin - Formal Methods and Models for System Design, Inbunden

Formal Methods and Models for System Design

A System Level Perspective

AvRajesh Gupta,Paul Le Guernicm. fl.

Inbunden, Engelska, 2004

2 249 kr

Skickas inom 10-15 vardagar

Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin - Formal Methods and Models for System Design, Häftad

Formal Methods and Models for System Design

A System Level Perspective

AvRajesh Gupta,Paul Le Guernicm. fl.

Häftad, Engelska, 2011

2 249 kr

Skickas inom 10-15 vardagar

Sandeep Kumar Shukla, Jean-Pierre Talpin - Synthesis of Embedded Software, Inbunden

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

AvSandeep Kumar Shukla,Jean-Pierre Talpin

Inbunden, Engelska, 2010

1 409 kr

Skickas inom 10-15 vardagar

Sandeep Kumar Shukla, Jean-Pierre Talpin - Synthesis of Embedded Software, Häftad

Synthesis of Embedded Software

Frameworks and Methodologies for Correctness by Construction

AvSandeep Kumar Shukla,Jean-Pierre Talpin

Häftad, Engelska, 2014

1 709 kr

Skickas inom 10-15 vardagar

Wei Dong, Jean-Pierre Talpin - Dependable Software Engineering. Theories, Tools, and Applications, Häftad
Del 13649 - Lecture Notes in Computer Science

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

949 kr

Skickas inom 10-15 vardagar

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu - Cyber-Physical System Design from an Architecture Analysis Viewpoint, Inbunden

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

AvShin Nakajima,Jean-Pierre Talpinm. fl.

Inbunden, Engelska, 2017

1 409 kr

Skickas inom 10-15 vardagar

Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu - Cyber-Physical System Design from an Architecture Analysis Viewpoint, Häftad

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Communications of NII Shonan Meetings

AvShin Nakajima,Jean-Pierre Talpinm. fl.

Häftad, Engelska, 2018

1 409 kr

Skickas inom 10-15 vardagar