Normale Ansicht MARC ISBD

FM + AM'2010 Second International Workshop on Formal Methods and Agile Methods, 17. September 2010, Pisa (Italy) ; [under the umbrella of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM '2010] Stefan Gruner; Bernhard Rumpe (ed.)

Mitwirkende(r):

Materialtyp: Text

TextSprache: Englisch Reihen: Lecture notes in informatics | ; 17900 | Gesellschaft für Informatik GI-Edition / Proceedings ; 179 | Verlag: Bonn Ges. für Informatik 2010Beschreibung: 98 S. graph. Darst. 235 mm x 155 mm, 255 grInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

9783885792734

Weitere Titel:

Formal methods
FM+AM 2010
FM and AM 2010

Schlagwörter:

Genre/Form:

Andere physische Formen: Online-Ausg.: FM+AM`2010DDC-Klassifikation:

004
005.12
004

Andere Klassifikation:

ST 230
SS 2010
54.52

Online-Ressourcen:

Inhaltsverzeichnis

Bearbeitungsvermerk:

Andere Ausgaben: Online-Ausg.: / : FM+AM`2010

Exemplare ( 1 )
Titelinformationen ( 2 )

Exemplare
Medientyp	Aktuelle Bibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Buch	Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik)	Campusbibliothek für Informatik und Mathematik (E2 3)	Series (GF)	LNI P-179 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2000000286105

Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)

Zurück								Weiter
Zurück	LNI P-176 Informatik 2010 2	LNI P-177 Informatik 2010 business process and service science ; proceedings of ISSS and BPSC, September 27 - October 1, 2010 in Leipzig, Germany at the 40th annual conference of the Gesellschaft für Informatik e.V. (GI)	LNI P-178 Vom Projekt zum Produkt Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 01. - 03. Dezember 2010 in Aachen ; [Fachtagung Software-Management 2010]	LNI P-179 FM + AM'2010 Second International Workshop on Formal Methods and Agile Methods, 17. September 2010, Pisa (Italy) ; [under the umbrella of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM '2010]	LNI P-181 Qualität und Effizienz durch informationsgestützte Landwirtschaft, Fokus: Moderne Weinwirtschaft Referate der 31. GIL-Jahrestagung; 24. - 25. Februar 2011 in Oppenheim, Germany	LNI P-183 Software Engineering 2011 Fachtagung des GI-Fachbereichs Softwaretechnik ; Karlsruhe 21. - 25. Februar 2011 in Karlsruhe	LNI P-184 Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium) ; Fachtagung des GI-Fachbereichs Softwaretechnik, 21. - 25. Februar 2011 in Karlsruhe ; [SE 2011 ; Dritter Workshop zu "Design for Future - Langlebige Softwaresysteme", Zweiter Workshop zur Zukunft der Entwicklung Softwareintensiver, Eingebetteter Systeme (ENVISION 2020), Workshop "Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen" (ESoSyM-2011), Workshop "IT-Unterstützung von Einsatz- und Rettungskräften: Interdisziplinäre Anforderungsanalyse, Architekturen und Gestaltungskonzepte", Workshop "Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation" (PIK 2011), Doktorandensymposium]	Weiter

: FM+AM`2010

Archivierung prüfen 20221111 DE-640 2 pdager