Научная библиотека ТГУ catalog › Results of search for 'Provider:Verlag Beck'

Search

Your search returned 4 results.

	1.	Implementation and Application of Functional Languages (vol. # 3474) Электронный ресурс 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 ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Verification of Object-Oriented Software. The KeY Approach Электронный ресурс Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. by Beckert, Bernhard \| Hähnle, Reiner \| Schmitt, Peter H \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Tests and Proofs Электронный ресурс Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle by Beckert, Bernhard \| Hähnle, Reiner \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Quality of Software Architectures and Software Quality Электронный ресурс First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German by Becker, Steffen \| Mayer, Johannes \| Overhage, Sven \| Reussner, Ralf \| Schroeder, Patrick J \| Stafford, Judith A \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)