Grigore Rosu - Böcker

Visar alla böcker från författaren Grigore Rosu.
8 produkter
Joseph Goguen, Grigore Rosu - Institution Morphisms, Häftad

Institution Morphisms

Av Joseph Goguen, Grigore Rosu

Häftad, Engelska, 2013

339 kr

Skickas inom 3-6 vardagar
Dana Fisman, Grigore Rosu - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 13243 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Dana Fisman, Grigore Rosu

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar
Dana Fisman, Grigore Rosu - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 13244 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Dana Fisman, Grigore Rosu

Häftad, Engelska, 2022

589 kr

Skickas inom 7-10 vardagar
Owolabi Legunsen, Grigore Rosu - Model Checking Software, Häftad
Del 13255 - Lecture Notes in Computer Science

Model Checking Software

Av Owolabi Legunsen, Grigore Rosu

Häftad, Engelska, 2022

1 459 kr

Skickas inom 7-10 vardagar
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification, Häftad

Formal Approaches to Software Testing and Runtime Verification

Av Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
José Meseguer, Grigore Rosu, Jos Meseguer - Algebraic Methodology and Software Technology, Häftad

Algebraic Methodology and Software Technology

Av José Meseguer, Grigore Rosu, Jos Meseguer

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Holger Giese, Grigore Rosu - Formal Techniques for Distributed Systems, Häftad

Formal Techniques for Distributed Systems

Av Holger Giese, Grigore Rosu

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar