Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Formal methods applied to complex systems : implementation of the B Method / edited by Jean-Louis Boulanger.

Contributor(s):

Boulanger, Jean-Louis [editor.]

Material type: Text

Text

TextSeries: Computer engineering series (London, England)Publisher: London : Hoboken, NJ : ISTE ; Wiley, 2014Description: 1 online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781119002680
1119002680
9781119002727
1119002729

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Formal methods applied to complex systemsDDC classification:

005.1 23

LOC classification:

QA76.9.B22

Online resources:

Wiley Online Library

Tags from this library: No tags from this library for this title. Log in to add tags.

No physical items for this record

Includes bibliographical references and index.

Print version record.

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh