. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Get it on iTunesJetzt bei Google Play
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 4,30 €, größter Preis: 196,00 €, Mittelwert: 93,89 €
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings - 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: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings - Taschenbuch

ISBN: 354057316X

Paperback, [EAN: 9783540573166], Springer, Springer, Book, [PU: Springer], Springer, 939798, Information Systems, 939794, Software Engineering, 939766, Computer Science, 939082, Computers & Technology, 927726, Subjects, 916520, Books, 939800, Methodology, 939794, Software Engineering, 939766, Computer Science, 939082, Computers & Technology, 927726, Subjects, 916520, Books, 939342, Networks, 939332, Networks, Protocols & APIs, 939330, Networking & Cloud Computing, 939082, Computers & Technology, 927726, Subjects, 916520, Books, 939598, Software Development, 939590, Software Design, Testing & Engineering, 939856, Programming, 939082, Computers & Technology, 927726, Subjects, 916520, Books, 110796011, Logic, 939590, Software Design, Testing & Engineering, 939856, Programming, 939082, Computers & Technology, 927726, Subjects, 916520, Books, 952174, Pure Mathematics, 952206, Fractals, 952204, Predicate & Propositional Calculus, 952134, Mathematics, 952050, Professional Science, 950756, Professional & Technical, 927726, Subjects, 916520, Books, 956484, Logic, 956454, Pure Mathematics, 956414, Mathematics, 956280, Science & Math, 927726, Subjects, 916520, Books

gebrauchtes bzw. antiquarisches Buch Amazon.ca
The Phatpocket Bookstore
Gebraucht Versandkosten:Usually ships within 1 - 2 business days, zzgl. Versandkosten
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 - 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: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science) - Manfred Broy, Dines Bjorner, Igor V. Pottosin
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Manfred Broy, Dines Bjorner, Igor V. Pottosin:
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science) - Taschenbuch

ISBN: 354057316X

[SR: 737917], Taschenbuch, [EAN: 9783540573166], Springer, Springer, Book, [PU: Springer], Springer, 63418011, Sprachen & Tools, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 63252011, Softwareentwicklung, 63248011, Software-Design & Entwicklung, 63381011, Programmieren, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Neues Buch Amazon.de (Intern...
Amazon.de
Neuware Versandkosten:Versandkostenfrei innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden (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.

< zum Suchergebnis...
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:

354057316X

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 15.02.2017 11:56:23
ISBN/EAN: 354057316X

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher