Author Results for Petre, Luigia, 1974

International Conference on Integrated Formal Methods,Turku, Finland)
Sere,K.
(Kaisa),
Butler,Michael,
IGI Global,
see all »
Petre,Luigia,
SpringerLink (Online service)
[edited by] Luigia Petre, Kaisa Sere and Elena Troubitsyna

2
From action systems to distributed systems : the refinement approach /

Cover is for reference only
Group Author: Petre, Luigia, 1974; Sekerinski, E. Emil, 1963
Published: Chapman & Hall/CRC,
Publication Dates: [2016]
Call Number: TP311.133.1/F931
Book
Save to List
Saved in:
3
Dependability and computer engineering concepts for software-intensive systems

Cover is for reference only
Group Author: Petre Luigia, 1974- (editor.); Sere K. (editor.); (Kaisa), 1954- (editor.); Troubitsyna Elena, 1970-
Published: Engineering Science Reference,
Publication Dates: ©2012.
Call Number: TP302.7/D419
Book
Save to List
Saved in:
5
Dependability and computer engineering : concepts for software-intensive systems /

Cover is for reference only
Corporate Authors: IGI Global
Group Author: Petre, Luigia, 1974- (Editor); Sere, K. (Kaisa), 1954- (Editor); Troubitsyna, Elena, 1970- (Editor)
Published: IGI Global,
Publication Dates: 2012.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —