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

Tools and Algorithms for the Construction and Analysis of Systems

Av Dana Fisman, Grigore Rosu

Häftad, Engelska, 2022

589 kr

Skickas inom 10-15 vardagar
Dana Fisman, Grigore Rosu - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Dana Fisman, Grigore Rosu

Häftad, Engelska, 2022

589 kr

Skickas fredag 21/11
Owolabi Legunsen, Grigore Rosu - Model Checking Software, Häftad

Model Checking Software

Av Owolabi Legunsen, Grigore Rosu

Häftad, Engelska, 2022

1 449 kr

Skickas inom 10-15 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 10-15 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 10-15 vardagar
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad

Runtime Verification

Av Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 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 10-15 vardagar