Amazon cover image
Image from Amazon.com

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

Contributor(s): Material type: TextTextSeries: 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: Additional physical formats: Print version:: Formal methods applied to complex systemsDDC classification:
  • 005.1 23
LOC classification:
  • QA76.9.B22
Online resources:
List(s) this item appears in: Sofware Engineering & Computer Science
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.

Software Engineering