Your search returned 8 results.

Not what you expected? Check for suggestions

Results
	1.	FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.). by International Symposium of Formal Methods Europe (10th : 2001 : Berlin, Germany) Oliveira, José N Zave, Pamela, 1948- Series: Lecture notes in computer science ; 2021. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.). by AFP '98 (1998 : Braga, Portugal) Swierstra, S. Doaitse Henriques, Pedro R Oliveira, José N Series: Lecture notes in computer science ; 1608. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / Jeremy Gibbons, José Nuno Oliveira (eds.). by TFM 2009 (2009 : Eindhoven, Netherlands) Gibbons, Jeremy, 1966- Oliveira, José N Series: Lecture notes in computer science ; 5846. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12774869 Publication details: Berlin : Springer, ©2009 Other title: TFM 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings / Roland Backhouse, José Nuno Oliveira (eds.). by International Conference on the Mathematics of Program Construction (2000 : Ponte do Lima, Portugal) Backhouse, Roland C, 1948- [editor.] Oliveira, José N [editor.] Series: Lecture notes in computer science ; 1837, Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer, [2000] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings / Wolfram Kahl, Michael Winter, José N. Oliveira (eds.). by RAMiCS (Conference) (15th : 2015 : Braga, Portugal) Kahl, W. (Wolfram) [editor.] Winter, Michael (Professor) [editor.] Oliveira, José N [editor.] Series: Lecture notes in computer science ; 9348. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: RAMiCS 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.). by International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) Beek, Maurice H. ter [editor.] McIver, Annabelle [editor.] Oliveira, José N [editor.] Series: Formal methods \| Lecture notes in computer science ; 11800. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2019 Other title: FM 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II / Emil Sekerinski, Nelma Moreira, José N. Oliveira et al. (eds.). by International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) Sekerinski, E. (Emil), 1963- Moreira, Nelma Oliveira, José N Series: Lecture notes in computer science ; 12233. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: FM 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part I / Emil Sekerinski, Nelma Moreira, José N. Oliveira, et al. (eds.). by World Congress on Formal Methods (3rd : 2019 : Porto, Portugal) Sekerinski, E. (Emil), 1963- Moreira, Nelma Oliveira, José N Series: Lecture notes in computer science ; 12232. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham : Springer, 2020 Other title: FM 2019 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha