Limit search to items available for checkout
E-BOOK
Title Formal methods applied to complex systems : implementation of the B Method / edited by Jean-Louis Boulanger.
Imprint London : ISTE ; Hoboken, NJ : Wiley, 2014.

Copies/Volumes

LOCATION CALL # STATUS
 Internet  Electronic Book    AVAILABLE
Description 1 online resource.
Series Computer engineering series.
Computer engineering series (London, England)
Bibliog. Includes bibliographical references and index.
Note Available only to authorized UTEP users.
Print version record.
Subject B method (Computer science)
Formal methods (Computer science)
Other Author Boulanger, Jean-Louis, editor.
Other Title Print version: Formal methods applied to complex systems 1848217099