Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
UML 2 semantics and applications [electronic resource] / edited by Kevin Lano.

by Lano, K | ProQuest (Firm).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Hoboken, NJ : John Wiley & Sons, 2009Online access: Click to View Availability: No items available.

Add to cart
The B language and method : a guide to practical formal development / K. Lano.

by Lano, K [author.].

Series: Formal approaches to computing and information technologyMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London ; New York : Springer, [1996]Copyright date: 1996Online access: Click to View Availability: No items available.

Add to cart
The B language and method : a guide to practical formal development / K. Lano.

by Lano, K [author.].

Series: Formal approaches to computing and information technologyMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London ; New York : Springer, [1996]Copyright date: 1996Online access: Click to View Availability: No items available.

Add to cart
Pages