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 / Informationstechnologie, Mathematik / Informatik, Computer, Wissensbasiertes System, Informationstechnik (IT), allgemeine Themen, Computerprogrammierung und Softwareentwicklung, Software Engineering, IT-Zertifizierung, Theoretische Informatik, Systemanalyse und -design, Rechnerarchitektur und Logik-Entwurf, ArtificialIntelligence; datasecurity; Event-B; formallogic; formalmethods; formalverifications; programcompilers; ProgrammingLanguages; Semantics; Softwareengineering; softwareevaluation; theoremproving; verification, mit Schutzumschlag 11, [PU:Springer International Publishing]
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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 / Informationstechnologie, Mathematik / Informatik, Computer, Wissensbasiertes System, Informationstechnik (IT), allgemeine Themen, Software Engineering, Theoretische Informatik, Systemanalyse und -design, ArtificialIntelligence; datasecurity; Event-B; formallogic; formalmethods; formalverifications; programcompilers; ProgrammingLanguages; Semantics; Softwareengineering; softwareevaluation; theoremproving; verification, mit Schutzumschlag 11, [PU:Springer International Publishing]
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. Books > Computers > Programming List_Books
| Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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, held in Gold Coast, QLD, Australia, in November 2018., DE, [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, 474, [GW: 771g], Offene Rechnung (Vorkasse vorbehalten), Sofortüberweisung, PayPal, Banküberweisung, Internationaler Versand
| booklooker.de Buchhandlung Kühn GmbH Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
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 Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions., Software Engineering
| BookDepository.com Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
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 Buch2018, ISBN: 3030024490
1st ed. 2018 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Expertensystem, Informatik, Informationstechnologie, IT, Technologie / Informationstechnologi… Mehr…
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…
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…
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…
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030024505 Formal Methods and Software Engineering (Jing Sun; Meng Sun)
- 9783030024505 Formal Methods and Software Engineering (Jing Sun; Meng Sun)
- 9783030304454 Software Engineering and Formal Methods (Peter Csaba Ölveczky)
- 9781604235821 15th International Conference on Software Engineering and Data Engineering (Sede-2006) (W. Dosch, International Society for Computers and Their Applications (Isca))
- 9783319254227 Formal Methods and Software Engineering (Michael Butler; Sylvain Conchon; Fatiha Zaïdi)
- 9781605603360 17th International Conference on Software Engineering and Data Engineering (Sede-2008) (International Society for Computers and Their Applications (Isca), H. Al-mubaid)
< zum Archiv...