Resultados
|
|
|
|
|
|
|
Types for proofs and programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994 : proceedings / Peter Dybjer, Bengt Nordstrom, Jan Smith, eds. por International Workshop TYPES '94 (1994 : Bastad, Suecia) | Dybjer, Peter [editor] | Nordstrom, Bengt [editor] | Smith, Jan M [editor]. Series Lecture notes in computer science ; 996Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I58.
|
|
|
|
|
|
|
|
Intelligent agents : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8-9, 1994 : proceedings / Michael J. Wooldridge, Nicholas R. Jennings, eds. por ECAI-94 Workshop on Agent Theories, Architectures, and Languages (1994 : Amsterdam, Holanda) | Wooldridge, Michael J, 1966- [editor] | Jennings, Nick R [editor] | European Conference on Artificial Intelligence (1994 : Amsterdam, Holanda). Series Lecture notes in computer science ; 890Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q336 E33.
|
|
|
|
ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, eds. por International Conference of Z Users (9 : 1995 : Limerick, Irlanda) | Bowen, J. P. (Jonathan Peter), 1956- [editor] | Hinchey, Michael Gerard, 1969- [editor]. Series Lecture notes in computer science ; 967Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73Z2 I57.
|
|
|
|
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran eds. por International Symposium of Formal Methods Europe (2 : 1994 : Barcelona, Espana) | Naftalin, Maurice, 1951- [editor] | Denvir, Tim, 1939- [editor] | Bertran, Miguel [editor]. Series Lecture notes in computer science ; 873Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 / D.J. Andrews, J.F. Groote, and C.A. Middelburg, (eds.) por International Workshop on Semantics of Specification Languages (1993 : Utrecht, Netherlands) | Andrews, Derek [editor] | Groote, Jan Frisco, 1965- [editor] | Middelburg, Cornelis A [editor] | British Computer Society. Series Workshops in computingTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: London : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.7 I5843.
|
|
|
|
Z User Workshop, Cambridge, 1994 : proceedings of the eighth Z UserMeeting, Cambridge, 29-30 June 1994 / J.P. Bowen and J.A. Hall, (eds.) por Z User Workshop (8 : 1994 : Cambridge, Inglaterra) | Bowen, J. P. (Jonathan Peter), 1956- [editor] | Hall, John Anthony, 1946- [editor]. Series Workshops in computingTipo de material: Texto; Forma literaria:
No es ficción Editor: London : Springer Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.73Z2 Z2 1994.
|
|
|
|
|
|
|
|
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, (eds.) por International Symposium of Formal Methods Europe (1993 : Odense, Dinamarca) | Woodcock, Jim [editor] | Larsen, P. G. (Peter Gorm), 1964- [editor]. Series Lecture notes in computer science ; 670Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76D47 I577 1993.
|
|
|
|
Program design calculi / ed. by Manfred Broy por Broy, M, 1949- [editor] | Organización del Tratado del Atlántico Norte. División de Asuntos Científicos | NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Alemania). Series NATO ASI series. Series F, Computer and systems sciences ; vol. 118Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9S88 P77.
|
|
|
|
|
|
|
|
|
