. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 354057316X ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 15,88 €, größter Preis: 196,00 €, Mittelwert: 96,21 €
Formal Methods in Programming and Their Applications - Dines Bjorner#Manfred Broy#Igor V. Pottosin
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner#Manfred Broy#Igor V. Pottosin:
Formal Methods in Programming and Their Applications - neues Buch

ISBN: 9783540573166

ID: 212685455

This volume comprises the papers selected for presentation 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. International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1873111 Versandkosten:, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods in Programming and Their Applications - Dines Bjørner; Manfred Broy; Igor V. Pottosin
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjørner; Manfred Broy; Igor V. Pottosin:
Formal Methods in Programming and Their Applications - neues Buch

ISBN: 9783540573166

ID: 9783540573166

Computer Science; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation Formale Methoden, Programmieren, Programmlogik, Programmsemantik, Programmspezifikation, algorithms, communication, formal method, formal methods, logic of programs, program semantics, program specification, programming, semantics, verification Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods in Programming and Their Applications: International Conference. (ed.), Lecture notes in computer science - Bjørner, Dines
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bjørner, Dines:
Formal Methods in Programming and Their Applications: International Conference. (ed.), Lecture notes in computer science - gebrauchtes Buch

1993, ISBN: 354057316X

ID: 71603

kart. IX, 433 S. : graph. Darst. , 24 cm Kartoniert Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / gleiche ISBN - ausgabe 1993 / Formale Spezifikationstechnik gebraucht; sehr gut, [PU:Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona , Budapest : Springer,]

gebrauchtes bzw. antiquarisches Buch Achtung-Buecher.de
Mosakowski & Stiasny GbR Frank Stiasny, 61197 Florstadt
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods in Programming and Their Applications: International Conference. (ed.), Lecture notes in computer science - Bjørner, Dines
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bjørner, Dines:
Formal Methods in Programming and Their Applications: International Conference. (ed.), Lecture notes in computer science - gebrauchtes Buch

1993, ISBN: 354057316X

ID: 71603

IX, 433 S. : graph. Darst. , 24 cm kart. Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / gleiche ISBN - ausgabe 1993 / Versand D: 2,90 EUR Formale Spezifikationstechnik, [PU:Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong , Barcelona , Budapest : Springer,]

gebrauchtes bzw. antiquarisches Buch Buchfreund.de
Mosakowski & Stiasny GbR, 61197 Florstadt
Versandkosten:Versandkosten innerhalb der BRD (EUR 2.90)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Methods in Programming and Their Applications - Dines Bjorner; Manfred Broy; Igor V. Pottosin
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjorner; Manfred Broy; Igor V. Pottosin:
Formal Methods in Programming and Their Applications - Taschenbuch

1993, ISBN: 9783540573166

ID: 439687

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings, 1993, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Formal Methods in Programming and Their Applications
Autor:

Dines Bjorner, Manfred Broy, Igor V. Pottosin

Titel:

Formal Methods in Programming and Their Applications

ISBN-Nummer:

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.

Detailangaben zum Buch - Formal Methods in Programming and Their Applications


EAN (ISBN-13): 9783540573166
ISBN (ISBN-10): 354057316X
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer-Verlag GmbH
452 Seiten
Gewicht: 0,678 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 18.10.2007 13:03:22
Buch zuletzt gefunden am 08.05.2017 08:35:43
ISBN/EAN: 354057316X

ISBN - alternative Schreibweisen:
3-540-57316-X, 978-3-540-57316-6


< zum Archiv...
Benachbarte Bücher