- 0 Ergebnisse
Kleinster Preis: € 71,49, größter Preis: € 82,29, Mittelwert: € 79,37
1
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
€ 82,29
Versand: € 0,001
Bestellen
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
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
€ 82,29
Versand: € 0,001
Bestellen
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
3
Bestellen
bei Indigo.ca
C$ 117,95
(ca. € 81,60)
Bestellen
gesponserter Link
Formal Methods And Software Engineering: 20th International Conference On Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, - neues Buch

2018

ISBN: 9783030024499

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.&#… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
4
Bestellen
bei booklooker.de
€ 79,17
Versand: € 0,001
Bestellen
gesponserter Link
Jing Sun:
Formal Methods and Software Engineering - Taschenbuch

2011, ISBN: 9783030024499

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, hel… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchhandlung Kühn GmbH
5
Formal Methods and Software Engineering - Jing Sun
Bestellen
bei BookDepository.com
€ 71,49
Versand: € 0,001
Bestellen
gesponserter Link
Jing Sun:
Formal Methods and Software Engineering - Taschenbuch

2018, ISBN: 9783030024499

Paperback, [PU: Springer Nature Switzerland AG], This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gol… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00)

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.
Details zum Buch

Detailangaben zum Buch - Formal Methods And Software Engineering: 20th International Conference On Formal Engineering Methods, Icfem 2018, Gold Coast, Qld,


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

Buch in der Datenbank seit 2018-09-12T21:34:29+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-04-13T12:37:40+02:00 (Berlin)
ISBN/EAN: 9783030024499

ISBN - alternative Schreibweisen:
3-030-02449-0, 978-3-030-02449-9


Daten vom Verlag:

Autor/in: Jing Sun; Meng Sun
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; 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.
Gewicht: 0,753 kg
Sprache: Englisch
79,17 € (DE)
81,39 € (AT)
87,50 CHF (CH)
POD
XXII, 474 p. 115 illus.

BC; Book; 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; C; Software Engineering; Logics and Meanings of Programs; System Performance and Evaluation; The Computing Profession; Mathematical Logic and Formal Languages; Special Purpose and Application-Based Systems; 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; Computer Science; Theoretische Informatik; Systemanalyse und -design; Informationstechnik (IT), allgemeine Themen; Theoretische Informatik; 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...