Results
|
|
Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Zoltán Horváth, Viktória Zsók, Andrew Butterfield. by Horváth, Zoltán | Butterfield, Andrew | Zsók, Viktória | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4449Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
Implementation and Application of Functional Languages (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck, by Butterfield, Andrew | Grelck, Clemens | Huch, Frank | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4015Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
Implementation and Application of Functional Languages (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich by Grelck, Clemens | Huch, Frank | Michaelson, Greg | Trinder, Phil | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3474Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot. by Cousot, Radhia | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3385Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau. by Banach, Richard | Lau, Kung-Kiu | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3785Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
ZB 2005: Formal Specification and Development in Z and B [Recurso electrónico] / 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne by Henson, Martin | King, Steve | Schneider, Steve | Treharne, Helen | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3455Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Model Checking Software [Recurso electrónico] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp. by Bosnacki, Dragan | Edelkamp, Stefan | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4595Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Fundamental Approaches to Software Engineering (vol. # 3922) [Recurso electrónico] / 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March by Baresi, Luciano | Heckel, Reiko | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3922Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation (vol. # 3855) [Recurso electrónico] / 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings edited by E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen | Namjoshi, Kedar S | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3855Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Formal Methods and Software Engineering (vol. # 4260) [Recurso electrónico] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings edited by Zhiming Liu, Jifeng He. by Liu, Zhiming | He, Jifeng | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4260Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Hardware and Software, Verification and Testing [Recurso electrónico] / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Ur, Shmuel | Bin, Eyal | Wolfsthal, Yaron | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3875Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
B 2007: Formal Specification and Development in B [Recurso electrónico] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings edited by Jacques Julliand, Olga Kouchnarenko. by Julliand, Jacques | Kouchnarenko, Olga | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4355Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
Integrated Formal Methods [Recurso electrónico] / 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol. by Romijn, Judi M.T | Smith, Graeme P | van de Pol, Jaco C | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3771Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4378Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
Formal Techniques for Networked and Distributed Systems - FORTE 2006 [Recurso electrónico] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq by Najm, Elie | Donzeau-Gouge, Véronique Viguié | Pradat-Peyre, Jean-Francois | SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4229Material type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|