Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Borrione, Dominique
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht Springer Science+Business Media B.V. 2010
Σειρά:Lecture Notes in Electrical Engineering 63
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-90-481-9304-2
LEADER 01327nom a2200325 u 4500
001 10093027
003 upatras
005 20210117202946.0
008 110802s2010 eng
020 |a 9789048193042 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Borrione, Dominique  |9 98949 
245 1 0 |a Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s  |h [electronic resource]  |b Selected Contributions on Specification, Design, and Verification from FDL 2009  |c edited by Dominique Borrione 
260 |a Dordrecht  |b Springer Science+Business Media B.V.  |c 2010 
300 |b v.: digital 
490 0 |a Lecture Notes in Electrical Engineering  |v 63  |x 1876-1100 
650 4 |a Engineering  |9 17712 
650 4 |a Computer science  |9 13995 
650 4 |a Systems engineering  |9 64844 
650 4 |a Engineering  |9 17712 
650 4 |a Circuits and Systems  |9 24301 
650 4 |a Programming Languages, Compilers, Interpreters  |9 64661 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Lecture notes in electrical engineering  |g 63  |x 1876-1100 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-90-481-9304-2 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 100941  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 68727  |d 68727