- 5 Résultats
prix le plus bas: € 9,60, prix le plus élevé: € 106,99, prix moyen: € 54,51
1
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) - Broy, Manfred, Bjorner, Dines, Zamulin, Alexandre
Commander
sur amazon.de
€ 9,60
Envoi: € 3,001
CommanderLien sponsorisé
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) - Livres de poche

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… Plus…

Gut Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) lange_und_springer_antiquariat
2
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) - Broy, Manfred, Bjorner, Dines, Zamulin, Alexandre
Commander
sur amazon.de
€ 57,23
Envoi: € 0,001
CommanderLien sponsorisé

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) - Livres de poche

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… Plus…

Frais d'envoiAuf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
3
Perspectives of System Informatics
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
CommanderLien sponsorisé
Perspectives of System Informatics - nouveau livre

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… Plus…

Nr. 978-3-540-43075-9. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
4
Commander
sur Biblio.co.uk
$ 48,99
(environ € 45,26)
Envoi: € 17,831
CommanderLien sponsorisé
Bjørner, Dines [Editor]; Broy, Manfred [Editor]; Zamulin, Alexandre [Editor];:
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) - Livres de poche

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… Plus…

Frais d'envoi EUR 17.83 GuthrieBooks
5
Perspectives of System Informatics - Dines Bjørner; Manfred Broy; Alexandre Zamulin
Commander
sur lehmanns.de
€ 106,99
Envoi: € 0,001
CommanderLien sponsorisé
Dines Bjørner; Manfred Broy; Alexandre Zamulin:
Perspectives of System Informatics - Livres de poche

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,… Plus…

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
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)

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 2001.The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.

Informations détaillées sur le livre - 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
Version reliée
Livre de poche
Date de parution: 2008
Editeur: Springer
568 Pages
Poids: 0,848 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-18T14:01:40+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-01-30T16:27:32+01:00 (Zurich)
ISBN/EAN: 9783540430759

ISBN - Autres types d'écriture:
3-540-43075-X, 978-3-540-43075-9
Autres types d'écriture et termes associés:
Auteur du livre: alexandre, manfred broy, manfred held, zamulin, dines
Titre du livre: perspectives systems informatics, 4th july, system, russia, memorial, novosibirsk, psi 2001, ruß, computer perspective, rus, lecture notes computer science


Données de l'éditeur

Auteur: Dines Bjørner; Manfred Broy; Alexandre Zamulin
Titre: 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
Editeur: Springer; Springer Berlin
550 Pages
Date de parution: 2001-12-14
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540398660 Perspectives of Systems Informatics (Manfred Broy; Alexandre V. Zamulin)


< pour archiver...