Skip to main content
NLUMeg Library
Your cart is empty.
Cart
Lists
Public lists
New Arrivals
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
NLU Meghalaya Library
Online Public Access Catalogue (OPAC)
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog by keyword
Advanced search
Authority search
Tag cloud
Contact
Log in to your account
Card number or username:
Password:
Home
Advanced search
Results of search for 'su:"Formal methods Computer science"'
Refine your search
Availability
Limit to records with available items
Authors
Frappier, Marc
Habrias, Henri
Jard, Claude
Roux, Olivier H.
Series
ISTE
Topics
COMPUTERS
Computer software
Embedded computer sy...
Formal methods (Comp...
Logiciels
M�ethodes formelles ...
Show more
Show less
Your search returned 2 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to cart
Add to list
New list
Place hold
Results
1.
Image from Amazon.com
Software specification methods /
edited by Henri Habrias, Marc Frappier.
by
Habrias, Henri
Frappier, Marc
, 1965-
Edition:
2nd ed.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publication details:
London ; Newport Beach, CA :
ISTE Ltd.,
2006
Online resources:
Click here to access online
Availability:
No items available.
Save to lists
Add to cart
(remove)
2.
Image from Amazon.com
Communicating embedded systems : software and design : formal methods /
edited by Claude Hard, Olivier H. Roux.
by
Jard, Claude
Roux, Olivier H
Series:
ISTE
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Language:
English
Original language:
French
Publication details:
London : Hoboken :
ISTE, Ltd. ; Wiley,
2010
Online resources:
Click here to access online
Availability:
No items available.
Save to lists
Add to cart
(remove)
Not finding what you're looking for?
Make a
purchase suggestion
