1
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:
2
Program development by refinement case studies using the B method

Cover is for reference only
Group Author: Sekerinski E.; (Emil) 1963-; Sere K.; (Kaisa), 1954-
Published: Springer-Verlag,
Publication Dates: c1999.
Call Number: TP312B/P964
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —