Library Logo
Bengali Keyboard

Formal Methods: Industrial Use from Model to the Code /

Boulanger, Jean-Louis Boulanger

Formal Methods: Industrial Use from Model to the Code / Jean-Louis Boulanger - Hoboken, New Jersey : John Wiley & Sons, c2012. - 384p. : ill.

Includes bibliographical references and index

9781848213623 (Print) 9781118561898 (Online)


Railroads--Management--Data processing
Formal methods (Computer science)
Application software--Development

385.0285′53


Last Updated Oct 16, 2019.
Copyright © Green University Library
Green University of Bangladesh
University Home | Library Home

Powered by Koha