Skip to main content
Anna Centenary Library
Lists
Public lists
கணினி1
View all
Your cookies
Search history
Clear
Search the Library Catalogue
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Accession No.
Go
Advanced search
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Details for:
Formal methods for embedded distributed systems : how to master the complexity
Image from Google Jackets
Normal view
MARC view
ISBD view
Formal methods for embedded distributed systems : how to master the complexity
edited by Fabrice Kordon and Michel Lemoine
Contributor(s):
Kordon, Fabrice
Lemoine, Michel
Publication details:
Dordrecht ; Boston
Kluwer Academic
2004
Description:
xx, 263 p. : ill. ; 25 cm
ISBN:
9781402079962
ISSN:
2004051555
Subject(s):
Electronic data processing - Distributed processing
Embedded computer systems
DDC classification:
005.1 KOR
Item type:
Books
Tags from this library:
No tags from this library for this title.
Star ratings
1
2
3
4
5
Cancel rating.
Average rating: 0.0 (0 votes)
Holdings
( 1 )
Title notes ( 1 )
Comments ( 0 )
Holdings
Current library
Call number
Status
Date due
Barcode
Anna Centenary Library
005.1 KOR (
Browse shelf
(Opens below)
)
Available
208581
Browsing Anna Centenary Library shelves
Close shelf browser
(Hides shelf browser)
Previous
No cover image available
Next
005.1 KOK
Beginning Unity Editor Scripting: Create and Publish Your Game Tools
005.1 KOR
Unicode explained
005.1 KOR
Computer arithmetic algorithms
005.1 KOR
Formal methods for embedded distributed systems : how to master the complexity
005.1 KOR
Machine Learning on Geographical Data Using Python: Introduction Into Geodata With Applications and Use Cases
005.1 KOR
Machine Learning on Geographical Data Using Python: Introduction Into Geodata With Applications and Use Cases
005.1 KRA
Enterprise SOA: service-oriented architecture best practices
Includes bibliographical references
There are no comments on this title.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
×
Find us on the map
Powered by
Koha