Search

You searched for: Auteur Tarlecki, Andrzej Remove constraint Auteur: Tarlecki, Andrzej
1 - 4 of 4
Number of results to display per page

Search Results

1. Foundations of Algebraic Specification and Formal Software Development
thumbnail
Full text!
Author:
Sannella, Donald; Tarlecki, Andrzej
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
2. Algebra and Coalgebra in Computer Science
thumbnail
Full text!
Author:
Kurz, Alexander; Kanade, Takeo; Lenisa, Marina; Tarlecki, Andrzej; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book
3. FM 2005: Formal Methods
thumbnail
Full text!
Author:
Fitzgerald, John; Hayes, Ian; Kanade, Takeo; Tarlecki, Andrzej; Hayes, Ian J.; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
4. Automata, Languages and Programming
thumbnail
Full text!
Author:
Arge, Lars; European Association for Theoretical Computer Science.; Cachin, Christian; Kanade, Takeo; Jurdzinski, Tomasz; Kittler, Josef; Tarlecki, Andrzej
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book