Jean-Pierre Talpin – författare
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, 2004
2279 kr
Lägg i varukorg
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Häftad, 2011
2279 kr
Lägg i varukorg
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Sandeep Kumar Shukla, Jean-Pierre Talpin
Inbunden, 2010
1429 kr
Lägg i varukorg
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Sandeep Kumar Shukla, Jean-Pierre Talpin
Häftad, 2014
1729 kr
Lägg i varukorg
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, 2022
959 kr
Lägg i varukorg
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Shin Nakajima, Jean-Pierre Talpin m. fl.
Inbunden, 2017
1429 kr
Lägg i varukorg
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings
Av Shin Nakajima, Jean-Pierre Talpin m. fl.
Häftad, 2018
1429 kr
Lägg i varukorg