Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, 2244, Band 2244) - Taschenbuch
2008, ISBN: 9783540430759
Springer, Taschenbuch, Auflage: 2001, 616 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, 1.74 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Intern… Mehr…
amazon.de lange_und_springer_antiquariat Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, 2244, Band 2244) - Taschenbuch
2008, ISBN: 9783540430759
Springer, Taschenbuch, Auflage: 2001, 616 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, 1.74 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Intern… Mehr…
amazon.de |
2001, ISBN: 9783540430759
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 20… Mehr…
Springer.com Nr. 978-3-540-43075-9. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science) - Taschenbuch
2001, ISBN: 9783540430759
Springer, 2001-12-14. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and u… Mehr…
Biblio.co.uk |
2001, ISBN: 9783540430759
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, Buch, Softcover, [PU: Springer Berlin], Springer Berlin,… Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, 2244, Band 2244) - Taschenbuch
2008, ISBN: 9783540430759
Springer, Taschenbuch, Auflage: 2001, 616 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, 1.74 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Intern… Mehr…
Broy, Manfred, Bjorner, Dines, Zamulin, Alexandre:
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, 2244, Band 2244) - Taschenbuch2008, ISBN: 9783540430759
Springer, Taschenbuch, Auflage: 2001, 616 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, 1.74 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Intern… Mehr…
2001
ISBN: 9783540430759
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 20… Mehr…
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science) - Taschenbuch
2001, ISBN: 9783540430759
Springer, 2001-12-14. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and u… Mehr…
2001, ISBN: 9783540430759
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, Buch, Softcover, [PU: Springer Berlin], Springer Berlin,… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Notes in Computer Science, 2244, Band 2244)
EAN (ISBN-13): 9783540430759
ISBN (ISBN-10): 354043075X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer
568 Seiten
Gewicht: 0,848 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-18T14:01:40+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-30T16:27:32+01:00 (Berlin)
ISBN/EAN: 9783540430759
ISBN - alternative Schreibweisen:
3-540-43075-X, 978-3-540-43075-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: alexandre, manfred broy, manfred held, zamulin, dines
Titel des Buches: perspectives systems informatics, 4th july, system, russia, memorial, novosibirsk, psi 2001, ruß, computer perspective, rus, lecture notes computer science
Daten vom Verlag:
Autor/in: Dines Bjørner; Manfred Broy; Alexandre Zamulin
Titel: Lecture Notes in Computer Science; Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Verlag: Springer; Springer Berlin
550 Seiten
Erscheinungsjahr: 2001-12-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 550 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Algorithms; Constraint; Unified Modeling Language (UML); algorithm; logic; petri net; programming; semantics; verification; Computer System Implementation; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Theory of Computation; Compiler und Übersetzer; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Software Engineering; EA
Memorial Session.- A.P. Ershov— A Pioneer and a Leader of National Programming.- A.A. Lyapunov and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts.- Computing and Algorithms.- The Abstract State Machine Paradigm: What Is in and What Is out.- On Algorithmic Unsolvability.- Logical Methods.- Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.- On Expressive and Model Checking Power of Propositional Program Logics.- An Extension of Dynamic Logic for Modelling OCL’s @pre Operator.- Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.- Verification.- A Transformation of SDL Specifications— A Step towards the Verification.- Accurate Widenings and Boundedness Properties of Timed Systems.- Adaptive Saturation-Based Reasoning.- A Verification Approach for Distributed Abstract State Machines.- Program Transformation and Synthesis.- Transformational Construction of Correct Pointer Algorithms.- A Theoretical Foundation of Program Synthesis by Equivalent Transformation.- Equivalent Transformation by Safe Extension of Data Structures.- Semantics and Transformations in Formal Synthesis at System Level.- Automated Program Synthesis for Java Programming Language.- Semantics & Types.- The Varieties of Programming Language Semantics And Their Uses.- Binding-Time Analysis for Polymorphic Types.- An Investigation of Compact and Efficient Number Representations in the Pure Lambda Calculus.- Processes and Concurrency.- Observational Semantics for Timed Event Structures.- The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.- Dynamical Priorities without Time Measurement and Modification of the TCP.- UML Specification.- From ADT to UML-Like Modelling.- Transformation of UMLSpecification to XTG.- Petri Nets.- A Systematic Approach towards Object-Based Petri Net Formalisms.- Unfoldings of Coloured Petri Nets.- A Net-Based Multi-tier Behavior Inheritance Modelling Method.- Testing.- Specification Based Testing: Towards Practice.- Java Specification Extension for Automated Test Development.- Specification-Based Testing of Firewalls.- Software Construction.- Academic vs. Industrial Software Engineering: Closing the Gap.- A Method for Recovery and Maintenance of Software Architecture.- An Empirical Study of Retargetable Compilers.- Data & Knowledge Bases.- Conceptual Data Modeling: An Algebraic Viewpoint.- Integrating and Managing Conflicting Data.- A Knowledge Engineering Approach to Deal with ‘Narrative’ Multimedia Documents.- Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach.- Logic Programming.- Reexecution-Based Analysis of Logic Programs with Delay Declarations.- Pos(T ): Analyzing Dependencies in Typed Logic Programs.- A Prolog Tailoring Technique on an Epilog Tailored Procedure.- Constraint Programming.- Hierarchical Constraint Satisfaction Based on Subdefinite Models.- Using Constraint Solvers in CAD/CAM Systems.- A Graphical Interface for Solver Cooperations.- Program Analysis.- Abstract Computability of Non-deterministic Programs over Various Data Structures.- On Lexicographic Termination Ordering with Space Bound Certifications.- Generalised Computability and Applications to Hybrid Systems.- Language Implementation.- Exploring Template Template Parameters.- Compiler-Cooperative Memory Management in Java.- A Software Composition Language and Its Implementation.- Editor Definition Language and Its Implementation.- Oberon-2 as Successor of Modula-2 in Simulation.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)
- 9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)
- 9783540708810 Perspectives of Systems Informatics (Irina Virbitskaite; Andrei Voronkov)
- 9783642114861 Perspectives of Systems Informatics (Springer)
- 9783642114854 Perspectives of Systems Informatics (Amir Pnueli; Irina Virbitskaite; Andrei Voronkov)
- 9783540208136 Perspectives of Systems Informatics by Manfred Broy Paperback | Indigo Chapters (Manfred Broy & Alexandre V. Zamulin)
< zum Archiv...