. .
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
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 1.94 EUR, größter Preis: 93.08 EUR, Mittelwert: 39.08 EUR
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

Paperback, [EAN: 9783540573166], Springer, Springer, Book, [PU: Springer], 2008-06-13, Springer, 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., 269656, Architecture & Microprocessors, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 404260, Artificial Intelligence, 269265, Computer Science, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269709, Algorithms, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 269776, Languages & Tools, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books

gebrauchtes bzw. antiquarisches Buch Amazon.co.uk
Phatpocket Book Shoppe
Gebraucht Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days (EUR 6.75)
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 - 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: 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: 522980], 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

gebrauchtes bzw. antiquarisches Buch Amazon.de (Intern...
betterworldbooks__
Gebraucht Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.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, 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: 522980], 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.

< 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:

9783540573166

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.07.2016 14:43:12
ISBN/EAN: 9783540573166

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

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