İYTE Library Logo

Cover image for Communicating embedded systems : software and design : formal methods
Communicating embedded systems : software and design : formal methods
Title:
Communicating embedded systems : software and design : formal methods
Author:
Jard, Claude.
ISBN:
9781118558188

9781118600122

9781118600092

9781848211438

9781299187450
Uniform Title:
Approches formelles des systèmes embarqués communicants. English.
Publication Information:
London : ISTE, Ltd. ; Hoboken : Wiley, 2010.
Physical Description:
1 online resource (275 pages)
Series:
ISTE

ISTE.
Local Note:
O'Reilly
Subject Term:
Embedded computer systems -- Programming.

Embedded computer systems -- Design and construction.

Formal methods (Computer science)

Méthodes formelles (Informatique)

COMPUTERS -- Computer Engineering.

COMPUTERS -- Hardware -- General.

COMPUTERS -- Machine Theory.

Embedded computer systems -- Design and construction. (OCoLC)fst00908300

Embedded computer systems -- Programming. (OCoLC)fst00908303

Formal methods (Computer science) (OCoLC)fst00932926
Genre:
Electronic books.
Added Author:
Jard, Claude.

Roux, Olivier H.
Electronic Access:
https://go.oreilly.com/library-access/library/view/-/9781118600092/?ar
https://learning.oreilly.com/library/view/~/9781118600092/?ar
https://learning.oreilly.com/library/view/~/9781118600092
Holds: Copies:

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR