Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
BuchKartoniert, Paperback
CHF171.00

Beschreibung

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.
Weitere Beschreibungen

Details

ISBN/GTIN978-3-540-47460-9
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum24.10.2006
ReiheLecture Notes in Computer Science
Reihen-Nr.4260
SpracheEnglisch
MasseBreite 155 mm, Höhe 235 mm
Gewicht2420 g
Artikel-Nr.1755627
KatalogBuchzentrum
Datenquelle-Nr.2549988
Weitere Details

Reihe

Autor

Schlagworte

BZ
C
Compilers & interpreters
Compilers and Interpreters
Compilers ~ Programming Languages, Compilers, Interpreters
Computer Science Logic and Foundations of Programming
Computer architecture & logic design
Computer logic
Computer programming / software engineering
Electronic computers (Programming languages)
Engineering ~ Software Engineering
Engineering ~ Software Engineering/Programming and Operating Systems
Foundations ~ Computer Science Logic and Foundations of Programming
Interpreters ~ Compilers and Interpreters
Interpreters ~ Programming Languages, Compilers, Interpreters
Languages ~ Programming Languages, Compilers, Interpreters
Logic ~ Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Meanings ~ Logics and Meanings of Programs
Operating systems
Operating ~ Software Engineering/Programming and Operating Systems
Programming & scripting languages: general
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Programming ~ Computer Science Logic and Foundations of Programming
Programming ~ Software Engineering/Programming and Operating Systems
Programs ~ Logics and Meanings of Programs
Science ~ Computer Science Logic and Foundations of Programming
Software Engineering
Software Engineering/Programming and Operating Systems
Systems ~ Software Engineering/Programming and Operating Systems
and ~ Compilers and Interpreters
and ~ Computer Science Logic and Foundations of Programming
and ~ Logics and Meanings of Programs
and ~ Software Engineering/Programming and Operating Systems
architecture ~ Computer architecture & logic design
computer science
computers ~ Programming languages (Electronic computers)
design ~ Computer architecture & logic design
engineering ~ Computer programming / software engineering
general ~ Programming & scripting languages: general
interpreters ~ Compilers & interpreters
languages ~ Programming & scripting languages: general
languages ~ Programming languages (Electronic computers)
logic ~ Computer architecture & logic design
logic ~ Computer logic
programming ~ Computer programming / software engineering
science ~ computer science
scripting ~ Programming & scripting languages: general
software ~ Computer programming / software engineering
systems ~ Operating systems
THEMA Hauptschlagwort
VLB Haupt-Lesemotiv