Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Algebraic specification techniques and tools for software development [electronic resource] : the ACT approach / Ingo Claszen, Hartmut Ehrig, Dietmar Wolz.

by Classen, Ingo | Ehrig, Hartmut | Wolz, Dietmar.

Material type: book Book; Format: available online remote; Literary form: Not fiction Publisher: Singapore ; River Edge, N.J. : World Scientific, [2019], c1993Online access: Access to full text is restricted to subscribers. Availability: No items available

Formal models of computation [electronic resource] : the ultimate limits of computing / Arthur Fleck.

by Fleck, Arthur Charles.

Material type: computer file Computer file; Format: electronic available online remote Publisher: Singapore : World Scientific Publishing Co. Pte Ltd., ©2001Online access: Access to full text is restricted to subscribers. Availability: No items available