Teaching Formal Methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

"Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products." This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (ci...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dean, C. Neville (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Boute, Raymond T. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:1st ed. 2004.
Σειρά:Lecture Notes in Computer Science, 3294
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link

Διαδίκτυο

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFd
Ταξιθετικός Αριθμός: 330.01 BAU
Αντίγραφο 1 Στη βιβλιοθήκη

ΒΚΠ - Πατρα: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: 330.01 BAU
Αντίγραφο 2 Στη βιβλιοθήκη
Αντίγραφο 3 Στη βιβλιοθήκη