Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
-
- Englisch ausgewählt
49,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
05.10.1993
Abbildungen
IX, 438 p.
Herausgeber
Dines Bjørner + weitereVerlag
Springer BerlinSeitenzahl
438
Maße (L/B/H)
23,5/15,5/2,5 cm
Gewicht
680 g
Auflage
1993
Sprache
Englisch
ISBN
978-3-540-57316-6
at the international conference on Formal Methods in
Programming and Their Applications, held in Academgorodok,
Novosibirsk, Russia, June-July 1993. The conference was
organized by the Institute of Informatics Systems of the
Siberian Division of the Russian Academy of Sciences and was
the first forum organized by the Institute which was
entirely dedicated to formal methods.
The main scientific tracks of the conference were centered
around formal methods of program development and program
construction. The papers in the book are grouped into
the following parts:
- formal semantics methods
- algebraic specification methods
- semantic program analysis and abstract interpretation
- semantics of parallelism
- logic of programs
- software specification and verification
- transformational development and program synthesis.
Ein neues Kapitel für Ihre Bücher
Ein neues Kapitel für Ihre Bücher
Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice