Skip to contents

Margaria, Tiziana [Other]; Margaria-Steffen, Tiziana [Editor] ; TACAS 7 2001 Genua, ETAPS 4 2001 Genua

Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2031
Katoen, Joost-Pieter [Editor] ; TACAS 8 2002 Grenoble, ETAPS 5 2002 Grenoble

Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2280
Coleman, Derek [Editor]

Object-oriented development : the fusion method

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Englewood Cliffs [u.a.]: Prentice Hall, 1994

Published in: Prentice Hall object-oriented series
Silver, Gerald A. [Author]; Silver, Myrna L. [Author]

Systems analysis and design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Reading, Mass. [u.a.]: Addison-Wesley, 1989
Kowalewski, Stefan [Editor]; Philippou, Anna [Other] ; TACAS 15 2009 York, ETAPS 12 2009 York

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5505
Esparza, Javier [Editor]; Majumdar, Rupak [Other] ; TACAS 16 2010 Paphos, ETAPS 13 2010 Paphos

Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6015
Ramakrishnan, C. R. [Editor]; Rehof, Jakob [Other] ; TACAS 14 2008 Budapest, ETAPS 11 2008 Budapest

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4963
Grumberg, Orna [Editor]; Huth, Michael [Other] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4424
Garavel, Hubert [Editor]; Hatcliff, John [Other] ; TACAS 9 2003 Warschau, ETAPS 6 2003 Warschau

Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2619
Sarodnick, Florian [Author]; Brau, Henning [Author]

Methoden der Usability Evaluation : wissenschaftliche Grundlagen und praktische Anwendung - [3., unveränderte Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bern: Hogrefe, [2016]
Börger, Egon [Author]; Stärk, Robert F. [Author]

Abstract state machines : a method for high-level system design and analysis ; with 19 tables

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003
Jensen, Kurt [Editor]; Podelski, Andreas [Other] ; TACAS 10 2004 Barcelona, ETAPS 7 2004 Barcelona

Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2988
Halbwachs, Nicolas [Editor]; Zuck, Lenore D. [Editor] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3440
Pohl, Klaus [Editor]

Model-based engineering of embedded systems : the SPES 2020 methodology

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2012
England, David [Editor]; Palanque, Philippe [Other]; Vanderdonckt, Jean [Other]; Wild, Peter J. [Other] ; TAMODIA 8 2009 Brüssel

Task models and diagrams for user interface design : 8th international workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5963
Winckler, Marco [Editor]; Johnson, Hilary [Other]; Palanque, Philippe [Other] ; TAMODIA 6 2007 Toulouse

Task models and diagrams for user interface design : 6th international workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4849
Bernardo, Marco [Editor]; Hillston, Jane [Other] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 7 2007 Bertinoro

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4486
Giese, Holger [Editor]; Karsai, Gabor [Other]; Lee, Edward A. [Other]; Rumpe, Bernhard [Other]; Schätz, Bernhard [Other] ; International Workshop on Model Based Enginneering of Embedded Real Time Systems 2007 Dagstuhl

Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6100
Yourdon, Edward [Other]

Mainstream objects : an analysis and design approach for business ; [an object-oriented analysis and design approach developed at Software AG]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Upper Saddle River, NJ: Yourdon Press, 1995

Published in: Yourdon Press computing series
Hermanns, Holger [Editor]; Palsberg, Jens [Other] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York: Springer, 2006

Published in: Lecture notes in computer science ; 3920

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication