Normale Ansicht MARC ISBD

Formal methods and software engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings Zhenhua Duan, Luke Ong (eds.)

Von:

19. ICFEM 19. 2017 Xi'an [VerfasserIn]

Mitwirkende(r):

Materialtyp: Text

TextVerlagsnummer: 978-3-319-68689-986946311Sprache: Englisch Reihen: ; 1061000 | Lecture notes in computer science ; 10610Verlag: Cham Springer [2017]Beschreibung: xvii, 498 Seiten 23.5 cm x 15.5 cmInhaltstyp:

Text

Medientyp:

ohne Hilfsmittel zu benutzen

Datenträgertyp:

Band

ISBN:

9783319686899
3319686895

Genre/Form:

Konferenzschrift

Andere physische Formen: Kein Titel; Erscheint auch als: Formal Methods and Software Engineering; Elektronische Reproduktion: Kein TitelDDC-Klassifikation:

Online-Ressourcen:

Andere Ausgaben: Erscheint auch als (Online-Ausgabe) / Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. Online-Ressourcen

Exemplare ( 1 )
Titelinformationen ( 1 )

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)	LNCS 10610 (Regal durchstöbern(Öffnet sich unterhalb))	Verfügbar		2200000396907

Regale von HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)

Zurück								Weiter
Zurück	LNCS 10606 Dependable software engineering theories, tools, and applications$dThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings	LNCS 10608 Topics in theoretical computer science Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings	LNCS 10609 Similarity search and applications 10th International Conference, SISAP 2017 : Munich, Germany, October 4-6, 2017 : proceedings	LNCS 10610 Formal methods and software engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 : proceedings	LNCS 10611 Product-focused software process improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017 : proceedings	LNCS 10612 Web and big data APWeb-WAIM 2017 International Workshops: MWDA, HotSpatial, GDMA, DDC, SDMA, MASS : Beijing, China, July 7-9, 2017 : revised selected papers	LNCS 10613 Artificial neural networks and machine learning - ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings Part 1	Weiter

Formal Methods and Software Engineering. Cham: Springer International Publishing, 2017. Online-Ressourcen