Αποτελέσματα
|
1.
|
Program design calculi / edited by Manfred Broy. από
- NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Germany)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 118.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.21 NAT.
|
|
2.
|
Engineering Theories of Software Intensive Systems [electronic resource] Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3β15 August 2004 edited by Manfred Broy, Johannes GrΓΌnbauer, David Harel, Tony Hoare από
- Broy, M, 1949-
- GrΓΌnbauer, Johannes
- Harel, David, 1950-
- Hoare, Tony
Σειρά: NATO Science Series, Series II: Mathematics, Physics and Chemistry ; 195
Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2005
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
Programming and mathematical method / edited by Manfred Broy. από
- NATO Advanced Study Institute on Programming and Mathematical Method (1990 : Marktoberdorf)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 88.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT.
|
|
7.
|
Mathematical methods in program development / edited by Manfred Broy, Birgit Schieder. από
- NATO Advanced Study Institute on Mathematical Methods in Program Development (1996 : Marktoberdorf, Germany)
- Schieder, Birgit [επιμελητής.]
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 158.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT.
|
|
8.
|
Deductive program design / edited by Manfred Broy. από
- NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 152.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004 NAT.
|
|
9.
|
Logic of programming and calculi of discrete design / edited by Manfred Broy. από
- NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 36.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.131 NAT.
|