Cover Image

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4,1998, proceedings /

Show other versions (1)

Bibliographic Details
Corporate Authors:	TACAS (Conference) Lisbon, Portugal), SpringerLink (Online service), LINK (Online service), ETAPS (Conference)
Other Authors:	Steffen, Bernhard
Format:	Conference Proceeding eBook
Language:	English
Published:	New York : Springer, 1998.
Series:	Lecture notes in computer science ; 1384.
Subjects:	System design > Congresses. Computer software > Development > Congresses. Computer software > Development. System design. Electronic books. Online resources. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings /
Published: (1997)

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Published: (2002)

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
Published: (2000)

Contemporary trends in systems development /
Published: (2001)

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /
Published: (1998)

Systems development methods for databases, enterprise modeling, and workflow management /
Published: (1999)

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 /
Published: (2005)

Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings /
Published: (1996)

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 /
Published: (2004)

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
Published: (2002)

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
Published: (2003)

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

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 /
Published: (2006)

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /
Published: (2000)

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 /
Published: (2007)

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings /
Published: (1997)

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers /
Published: (1995)

Proceedings of the ... International Software Process Workshop.

KORSO : methods, languages, and tools for the construction of correct software : final report /
Published: (1995)

Embedded software design : a practical approach to architecture, processes, and coding techniques /
by: Beningo, Jacob
Published: (2022)

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings /
Published: (2001)

Introduction to software architecture /
by: Ostrowski, Adrian, et al.
Published: (2022)

Software process : principles, methodology, and technology /
Published: (1999)

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /
Published: (1993)

A friendly guide to software development : what you should know without being a Developer /
by: Portella, Leticia
Published: (2022)

From MDD concepts to experiments and illustrations /
Published: (2006)

Software engineering research and applications : first international conference, SERA 2003, San Francisco, CA, USA, June 2003, selected revised papers /
Published: (2004)

Das Microservices-Praxisbuch : Grundlagen, Konzepte und Rezepte /
by: Wolff, Eberhard
Published: (2018)

Securing your DevOps pipelines.
Published: (2022)

Building evolutionary architectures /
by: Ford, Neal, et al.
Published: (2023)

ATDD in der Praxis : Eine praktische Einführung in die Akzeptanztest-getriebene Softwareentwicklung mit Cucumber, Selenium und FitNesse /
by: Gärtner, Markus, 1979-
Published: (2013)

Reviews in der System-und Softwareentwicklung : Grundlagen, Praxis, kontinuierliche Verbesserung /
by: Rösler, Peter
Published: (2013)

Developing microservices using a service template and chassis.
Published: (2022)

Modern Full-Stack Development : Using TypeScript, React, Node. js, Webpack, Python, Django, and Docker /
by: Zammetti, Frank W.
Published: (2022)

DevOps complete course.
Published: (2022)

Continuous delivery : der pragmatische Einstieg /
by: Wolff, Eberhard
Published: (2015)