- 5 Ergebnisse
Kleinster Preis: € 52,96, größter Preis: € 69,57, Mittelwert: € 57,23
1
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - Meng Sun
Bestellen
bei ZVAB.com
€ 52,96
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Meng Sun:

Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - Taschenbuch

2018, ISBN: 3030024490

[EAN: 9783030024499], Neubuch, [SC: 0.0], [PU: Springer International Publishing], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; EXPERTENSYSTEM; INFORMATIK; INFORMATIONSTECHNOLOGIE; … Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - Sun, Meng (Herausgeber); Sun, Jing (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Sun, Meng (Herausgeber); Sun, Jing (Herausgeber):

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - neues Buch

2018, ISBN: 3030024490

1st ed. 2018 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Expertensystem, Informatik, Informationstechnologie, IT, Technologie / Informationstechnologi… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 75,64
(ca. € 69,57)
Versand: € 11,681
Bestellen
Details beim Anbieter
gesponserter Link
Jing Sun:
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - Taschenbuch

2018

ISBN: 9783030024499

Paperback / softback. New. This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Austral… Mehr…

Versandkosten: EUR 11.68 The Saint Bookstore
zuklappen (X)
4
Formal Methods and Software Engineering
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Formal Methods and Software Engineering - Taschenbuch

2018, ISBN: 9783030024499

*Formal Methods and Software Engineering* - 20th International Conference on Formal Engineering Methods ICFEM 2018 Gold Coast QLD Australia November 12-16 2018 Proceedings. 1st ed. 2018 /… Mehr…

3030024490. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei alibris.co.uk
€ 54,53
Bestellen
Details und Versand
gesponserter Link
Sun, Jing (Editor), and Sun, Meng (Editor):
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings - Taschenbuch

2018, ISBN: 9783030024499

Trade paperback, New., Trade paperback (US). Glued binding. 474 p. Contains: Unspecified, Illustrations, black & white., Cham, [PU: Springer]

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris
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
Formal Methods and Software Engineering
Autor:
Titel:
ISBN-Nummer:

9783030024499

Detailangaben zum Buch - Formal Methods and Software Engineering


EAN (ISBN-13): 9783030024499
ISBN (ISBN-10): 3030024490
Taschenbuch
Erscheinungsjahr: 2018
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2018-09-12T21:34:29+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-11-21T05:15:49+01:00 (Berlin)
ISBN/EAN: 9783030024499

ISBN - alternative Schreibweisen:
3-030-02449-0, 978-3-030-02449-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sun, jing, meng
Titel des Buches: international engineering, method programming, jing, gold coast, australia

Daten vom Verlag:

Autor/in: Jing Sun; Meng Sun
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Verlag: Springer; Springer International Publishing
474 Seiten
Erscheinungsjahr: 2018-10-11
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XXII, 474 p. 115 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; artificial intelligence; data security; event-b; formal logic; formal methods; formal verifications; program compilers; programming languages; semantics; software engineering; software evaluation; theorem proving; verification; Software Engineering; Computer Science Logic and Foundations of Programming; System Performance and Evaluation; The Computing Profession; Formal Languages and Automata Theory; Special Purpose and Application-Based Systems; Theoretische Informatik; Systemanalyse und -design; Informationstechnik (IT), allgemeine Themen; Wissensbasierte Systeme, Expertensysteme; EA

Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
< zum Archiv...