Cover Image

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

Show other versions (1)

Bibliographic Details
Corporate Authors:	International Symposium of Formal Methods Europe Berlin, Germany, SpringerLink (Online service)
Other Authors:	Oliveira, José N., Zave, Pamela, 1948-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2001.
Series:	Lecture notes in computer science ; 2021.
Subjects:	Computer software > Development > Congresses. Computer software > Development. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

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

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

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

FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
Published: (1994)

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
Published: (2003)

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
Published: (2003)

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

FME 2002 : formal methods--getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Published: (2002)

FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Published: (2002)

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

Proceedings of the ... International Software Process Workshop.

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

Entwurfsmuster von Kopf bis Fuß /
by: Freeman, Eric
Published: (2006)

Softwareentwicklung von Kopf bis Fuss /
by: Pilone, Dan
Published: (2008)

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)

Learning DevOps /
by: Krief, Mikael
Published: (2022)

Feature mapping : a smooth path from collaboration to high-quality executable specifications.
Published: (2020)

Humane code video series.
Published: (2021)

Lean DevOps : a practical guide to on demand service delivery /
by: Benefield, Robert
Published: (2022)

Feature Management with LaunchDarkly /
by: Gillett, Michael, et al.
Published: (2021)

Kod doskonały : jak tworzyć oprogramowanie pozbawione błe̜dów /
by: McConnell, Steve
Published: (2012)

VSCode development environments.
Published: (2022)

UML 2001 : the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings /
Published: (2001)

The B language and method : a guide to practical formal development /
by: Lano, K.
Published: (1996)

Experiences in software evolution and reuse : twelve real world projects /
Published: (1997)

Ebidensu ga kaeru sofutowea kaihatsu = Making software /
Published: (2011)

FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings /
Published: (1996)

Joel on software : and on diverse and occasionally related matters that will prove of interest to software developers, designers, and managers, and to those who, whether by good fortune or ill luck, work with them in some capacity /
by: Spolsky, Joel
Published: (2004)

Scrum in der Praxis : Erhafrungen, Problemfelder und Erfolgsfaktoren /
by: Wiechmann, Robert, et al.
Published: (2022)

Model-driven DevOps : increasing agility and security in your physical network through DevOps /
by: Carter, Steven, et al.
Published: (2023)

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
Published: (1993)

Reactive isn't complicated with Vert.x and the new Mutiny APIs.
Published: (2021)