- 5 Ergebnisse
Kleinster Preis: € 47,69, größter Preis: € 68,60, Mittelwert: € 56,65
1
Software Engineering and Formal Methods
Bestellen
bei Orellfuessli.ch
CHF 70,90
(ca. € 68,60)
Versand: € 17,411
Bestellen
Details beim Anbieter
gesponserter Link

Software Engineering and Formal Methods - neues Buch

2015, ISBN: 9783662492246

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The… Mehr…

Nr. A1038766607. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 17.41)
zuklappen (X)
2
Software Engineering and Formal Methods - Springer
Bestellen
bei Buch.ch
CHF 61,50
(ca. € 53,50)
Bestellen
Details und Versand
gesponserter Link

Springer:

Software Engineering and Formal Methods - neues Buch

2016, ISBN: 9783662492246

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The… Mehr…

  - No. 44630466 Versandkosten:zzgl. Versandkosten
zuklappen (X)
3
Software Engineering and Formal Methods - Springer
Bestellen
bei Orellfuessli.ch
CHF 65,90
(ca. € 56,84)
Versand: € 15,531
Bestellen
Details beim Anbieter
gesponserter Link
Springer:
Software Engineering and Formal Methods - neues Buch

2016

ISBN: 9783662492246

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The… Mehr…

  - No. 44630466. Versandkosten:Zzgl. Versandkosten. (EUR 15.53)
zuklappen (X)
4
Software Engineering and Formal Methods - Bernhard Rumpe, Domenico Bianculli, Radu Calinescu
Bestellen
bei kobo.com
£ 42,59
(ca. € 47,69)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bernhard Rumpe, Domenico Bianculli, Radu Calinescu:
Software Engineering and Formal Methods - neues Buch

2001, ISBN: 9783662492246

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The… Mehr…

E-Book zum download. Versandkosten: EUR 0.00
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 56,64
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Domenico Bianculli; Radu Calinescu; Bernhard Rumpe:
Software Engineering and Formal Methods - neues Buch

2016, ISBN: 9783662492246

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg]… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Software Engineering and Formal Methods
Autor:
Titel:
ISBN-Nummer:

9783662492246

Detailangaben zum Buch - Software Engineering and Formal Methods


EAN (ISBN-13): 9783662492246
Erscheinungsjahr: 1
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2016-12-13T21:20:06+01:00 (Berlin)
Detailseite zuletzt geändert am 2022-03-02T15:03:17+01:00 (Berlin)
ISBN/EAN: 9783662492246

ISBN - alternative Schreibweisen:
978-3-662-49224-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: calinescu

Daten vom Verlag:

Autor/in: Domenico Bianculli; Radu Calinescu; Bernhard Rumpe
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Verlag: Springer; Springer Berlin
325 Seiten
Erscheinungsjahr: 2016-01-11
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XXIX, 325 p. 88 illus. in color.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Angewandte Informatik; Verstehen; human factors; information systems; knowledge management; self-adaptive systems; software testing; business rules; cognitive processes; collective adaptive system; concurrency; discrete mathematics; education; encryption; model-based testing; probabilistic models; process algebra; quantitative modeling; service composition; smart grid; software-architecture; system testing; C; Computer and Information Systems Applications; Artificial Intelligence; Algorithms; Probability and Statistics in Computer Science; Theory of Computation; Database Management; Computer Science; Künstliche Intelligenz; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Wahrscheinlichkeitsrechnung und Statistik; Theoretische Informatik; Datenbanken; BC

Automating Test Case Design, Selection and Evaluation.- Human-Oriented Formal Methods.- Modelling and Knowledge Management Applications: Systems and Domains.- Art of Service Composition and Formal Verification for Self-* Systems.
Includes supplementary material: sn.pub/extras
< zum Archiv...