Merkzetterl
Das Merkzetterl ist leer.
Das Einkaufssackerl ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
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 in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
BuchKartoniert, Paperback
Verkaufsrang53350inInformatik - EDV
EUR55,95

Beschreibung

This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe 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.
Weitere Beschreibungen

Details

ISBN/EAN978-3-540-57316-6
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum05.10.1993
Auflage1993
ReiheLecture Notes in Computer Science
Reihen-Nr.735
Seiten452 Seiten
SpracheEnglisch
Artikel-Nr.1158423
WarengruppeInformatik - EDV
Weitere Details

Reihe

Unser Service

  • ÖSTERREICHWEIT VERSANDKOSTENFREI FÜR BESTELLUNG AB 20 EUR!
  • Filialverfügbarkeit ist bei lagernden Titeln ersichtlich
  • Abholung in einer unserer Buchhandlungen
  • 30 Tage Rücktrittsrecht

Lieferbarkeit

Der angebotene Artikel ist in der Regel innerhalb 48 Stunden versandfertig. Sollte es wider Erwarten nicht so sein, erhalten Sie eine Benachrichtigung.
Achtung Schulartikel (Lehrbücher/Lösungshefte) können eine längere Lieferzeit haben.

Bewertungen

Autor

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.

Weitere Produkte von Pottosin, Igor V.

Hrsg.