Zur Startseite wechseln
CHF 0.00
Kategorien
E-Books / Audio-Downloads / Reader
E-Books englisch
Produktbild
Manfred (Hrsg.) Broy

Perspectives of Systems Informatics

5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Ebook (PDF Format)

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003.The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specificat… Mehr

CHF 133.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Zamulin, Alexandre V. (Hrsg.)
  • ISBN: 978-3-540-39866-0
  • EAN: 9783540398660
  • Produktnummer: 37193321
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2003
  • Seitenangabe: 572 S.
  • Plattform: PDF
  • Auflage: 2003
  • Reihenbandnummer: 2890

50 weitere Werke von Manfred (Hrsg.) Broy:

Produktbild
Automotive Software-Connected Services in Mobile Networks
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 93.00
Produktbild
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 130.00
Produktbild
Informatik und Mathematik
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 66.00
Produktbild
Model-Driven Development of Reliable Automotive Services
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 93.00
Produktbild
agendaCPS
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 37.63
Produktbild
Deductive Program Design
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 276.00
Produktbild
Programming and Mathematical Method
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 179.00
Produktbild
Software Pioneers
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 179.00
Produktbild
Constructive Methods in Computing Science
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 144.00
Produktbild
Advanced Model-Based Engineering of Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 82.50
Produktbild
Advanced Model-Based Engineering of Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 100.00
Produktbild
Model-Driven Development of Reliable Automotive Services
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 77.00
Produktbild
Model-Based Engineering of Collaborative Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 72.00
Produktbild
Advanced Model-Based Engineering of Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 100.00
Produktbild
Software Pioneers
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 153.50
Produktbild
Perspectives of System Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 133.50
Produktbild
Perspectives of System Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 146.50
Produktbild
Design Thinking for Software Engineering
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 197.00
Produktbild
VDI-Lexikon Informatik und Kommunikationstechnik
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 88.00
Produktbild
VDI-Lexikon Informatik und Kommunikationstechnik
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 134.00
Produktbild
Engineering Theories of Software Intensive Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 203.00
Produktbild
Informatik und Mathematik
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 100.00
Produktbild
Formal Systems Specification
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 136.00
Produktbild
Methods of Programming
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 100.00
Produktbild
Cyber-Physical Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 26.50
Produktbild
50 Jahre Universitäts-Informatik in München
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 70.50
Produktbild
Model-Based Engineering of Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 68.00
Produktbild
Model-Based Engineering of Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 55.50
Produktbild
Model-Based Testing of Reactive Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 112.00
Produktbild
Mathematical Methods in Program Development
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 179.00
Produktbild
Control Flow and Data Flow: Concepts of Distributed Programming
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 179.00
Produktbild
Model-Based Engineering of Embedded Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 93.00
Produktbild
Program Design Calculi
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 246.50
Produktbild
Control Flow and Data Flow: Concepts of Distributed Programming
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 153.50
Produktbild
Formal Methods in Programming and Their Applications
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 126.00
Produktbild
Perspectives of System Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 130.00
Produktbild
Program Design Calculi
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 276.00
Produktbild
Deductive Program Design
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 276.00
Produktbild
Perspectives of System Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 150.00
Produktbild
Perspectives of Systems Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 136.00
Produktbild
Program Design Calculi
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 276.00
Produktbild
Logic of Programming and Calculi of Discrete Design
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 115.00
Produktbild
Engineering Theories of Software Intensive Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 183.00
Produktbild
Model-Based Testing of Reactive Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 120.00
Produktbild
Automotive Software-Connected Services in Mobile Networks
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 77.00
Produktbild
Perspectives of System Informatics
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 136.00
Produktbild
Requirements Targeting Software and Systems Engineering
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 106.50
Produktbild
Mathematical Methods in Program Development
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 153.50
Produktbild
Constructive Methods in Computing Science
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ebook (PDF Format)
CHF 118.50
Produktbild
Engineering Theories of Software Intensive Systems
5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Buch
CHF 234.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...