Books

  1. Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science S.)
    Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science S.)
  2. Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 (Lecture Notes in Computer Science S.)
    Coordination Languages and Models: 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 (Lecture Notes in Computer Science S.)
  3. Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers (Lecture Notes in Computer Science)
    Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers (Lecture Notes in Computer Science)
  4. High Performance Computing (Lecture Notes in Computer Science)
    High Performance Computing (Lecture Notes in Computer Science)
  5. Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, Dbpl'99 Kinloch Rannoch, UK, September 1-3, 1999 Revised Papers (Lecture Notes in Computer Science)
    Research Issues in Structured and Semistructured Database Programming: 7th International Workshop on Database Programming Languages, Dbpl'99 Kinloch Rannoch, UK, September 1-3, 1999 Revised Papers (Lecture Notes in Computer Science)
  6. Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques and Run Time Systems (Lecture Notes in Computer Science)
    Compiler Optimizations for Scalable Parallel Systems: Languages, Compilation Techniques and Run Time Systems (Lecture Notes in Computer Science)
  7. Software Process Technology: 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 Proceedings: v. 2077 (Lecture Notes in Computer Science)
    Software Process Technology: 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 Proceedings: v. 2077 (Lecture Notes in Computer Science)
  8. Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 Proceedings: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (Lecture Notes in Computer Science)
    Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 Proceedings: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (Lecture Notes in Computer Science)
  9. Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science)
    Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science)
  10. Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 Proceedings (Lecture Notes in Computer Science)
    Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 Proceedings (Lecture Notes in Computer Science)
  11. Parallel Problem Solving from Nature - Ppsn VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings (Lecture Notes in Computer Science)
    Parallel Problem Solving from Nature - Ppsn VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings (Lecture Notes in Computer Science)
  12. Web Engineering and Peer-to-peer Computing: Networking 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers (Lecture Notes in Computer Science)
    Web Engineering and Peer-to-peer Computing: Networking 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers (Lecture Notes in Computer Science)
  13. Generative Programming and Component Engineering: Acm Sigplan/Sigsoft Conference, Gpce 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings (Lecture Notes in Computer Science)
    Generative Programming and Component Engineering: Acm Sigplan/Sigsoft Conference, Gpce 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings (Lecture Notes in Computer Science)
  14. Computer Aided Verification: 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings (Lecture Notes in Computer Science S.)
    Computer Aided Verification: 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings (Lecture Notes in Computer Science S.)
  15. Static Analysis: Proceedings of the 5th International Symposium, SAS'98 (Lecture Notes in Computer Science S.)
    Static Analysis: Proceedings of the 5th International Symposium, SAS'98 (Lecture Notes in Computer Science S.)
  16. ZUM'98 the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 Proceedings (Lecture Notes in Computer Science S.)
    ZUM'98 the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 Proceedings (Lecture Notes in Computer Science S.)
  17. Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr'97, Leuven, Belgium, July 10-12, 1997: Proceedings (Lecture Notes in Computer Science S.)
    Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr'97, Leuven, Belgium, July 10-12, 1997: Proceedings (Lecture Notes in Computer Science S.)
  18. Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science S.)
    Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers (Lecture Notes in Computer Science S.)
  19. Principles and Practice of Constraint Programming-CP'98: 4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science S.)
    Principles and Practice of Constraint Programming-CP'98: 4th International Conference, CP'98, Pisa, Italy, October 26-30, 1998, Proceedings (Lecture Notes in Computer Science S.)
  20. Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and Ilps'97 Post-Conference Workshop on (TRANS)Actions and Change in Logic Programming and Deductive Databases(Dynamics'97), Port Jefferso (Lecture Notes in Computer Science S.)
    Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and Ilps'97 Post-Conference Workshop on (TRANS)Actions and Change in Logic Programming and Deductive Databases(Dynamics'97), Port Jefferso (Lecture Notes in Computer Science S.)
  21. Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science S.)
    Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science S.)
  22. Genetic Programming: Second European Workshop, Eurogp'99, Goteborg, Sweden, May 26-27, 1999, Proceedings: European Workshop, EuroGP '99, Goteborg, Sweden, May 26-27, 1999 - Proceedings 2nd (Lecture Notes in Computer Science)
    Genetic Programming: Second European Workshop, Eurogp'99, Goteborg, Sweden, May 26-27, 1999, Proceedings: European Workshop, EuroGP '99, Goteborg, Sweden, May 26-27, 1999 - Proceedings 2nd (Lecture Notes in Computer Science)
  23. Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings: FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000, Proceedings (Lecture Notes in Computer Science)
    Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings: FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000, Proceedings (Lecture Notes in Computer Science)
  24. Concurrent Systems: Operating Systems, Database and Distributed Systems - An Integrated Approach (International Computer Science S.)
    Concurrent Systems: Operating Systems, Database and Distributed Systems - An Integrated Approach (International Computer Science S.)
  25. Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, UK, July 10-12, 2000: Proceedings (Lecture Notes in Computer Science S.)
    Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, UK, July 10-12, 2000: Proceedings (Lecture Notes in Computer Science S.)
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on ... (Lecture Notes in Computer Science)
Average customer rating: Not rated
    		Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on ... (Lecture Notes in Computer Science)

    Manufacturer: Springer
    ProductGroup: Book
    Binding: Paperback

    Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
    Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
    Structured DesignStructured Design | Software Design | Programming | Computers & Internet | Subjects | Books
    GeneralGeneral | Programming | Computers & Internet | Subjects | Books
    LogicLogic | Programming | Computers & Internet | Subjects | Books
    MethodologyMethodology | Software Engineering | Computer Science | Computers & Internet | Subjects | Books
    Systems Analysis & DesignSystems Analysis & Design | Computer Science | Computers & Internet | Subjects | Books
    GeneralGeneral | Computers & Internet | Subjects | Books
    GeneralGeneral | Software | Computers & Internet | Subjects | Books
    All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
    Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
    Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
    Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
    Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
    Structured DesignStructured Design | Design & Development | Software Books | Custom Stores | Stores | Software
    GeneralGeneral | Software Books | Custom Stores | Stores | Software
    ASIN: 3540418644

    Book Description

    This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.
    Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
    Average customer rating: Not rated
      		Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

      Manufacturer: Springer
      ProductGroup: Book
      Binding: Paperback

      Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
      Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
      Structured DesignStructured Design | Software Design | Programming | Computers & Internet | Subjects | Books
      GeneralGeneral | Programming | Computers & Internet | Subjects | Books
      LogicLogic | Programming | Computers & Internet | Subjects | Books
      MethodologyMethodology | Software Engineering | Computer Science | Computers & Internet | Subjects | Books
      Systems Analysis & DesignSystems Analysis & Design | Computer Science | Computers & Internet | Subjects | Books
      GeneralGeneral | Computers & Internet | Subjects | Books
      GeneralGeneral | Medicine | Subjects | Books
      MathematicsMathematics | Professional Science | Professional & Technical | Subjects | Books | Applied | Chaos & Systems | Geometry & Topology | Mathematical Analysis | Mathematical Physics | Number Systems | Pure Mathematics | Transformations | Trigonometry
      All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
      Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
      MedicineMedicine | Amazon Upgrade | Stores | Books
      Professional & TechnicalProfessional & Technical | Amazon Upgrade | Stores | Books
      Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
      Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
      Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
      Structured DesignStructured Design | Design & Development | Software Books | Custom Stores | Stores | Software
      ASIN: 354043366X

      Book Description

      This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002.The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical, and geometric theories, models and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.
      Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
      Average customer rating: Not rated
        		Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

        Manufacturer: Springer
        ProductGroup: Book
        Binding: Paperback

        GeneralGeneral | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
        Human Vision & Language SystemsHuman Vision & Language Systems | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
        Theory of ComputingTheory of Computing | Artificial Intelligence | Computer Science | Computers & Internet | Subjects | Books
        Software EngineeringSoftware Engineering | Computer Science | Computers & Internet | Subjects | Books | Design Tools & Techniques | General | Information Systems | Methodology | Multimedia Information Systems
        Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
        Structured DesignStructured Design | Software Design | Programming | Computers & Internet | Subjects | Books
        GeneralGeneral | Programming | Computers & Internet | Subjects | Books
        LogicLogic | Programming | Computers & Internet | Subjects | Books
        GeneralGeneral | Computers & Internet | Subjects | Books
        GeneralGeneral | Medicine | Subjects | Books
        All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
        Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
        MedicineMedicine | Amazon Upgrade | Stores | Books
        Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
        Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
        Structured DesignStructured Design | Design & Development | Software Books | Custom Stores | Stores | Software
        ASIN: 3540657193

        Book Description

        This book constitutes the refereed proceedings of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS '99, held in Amsterdam, The Netherlands in March 1999 as part of ETAPS'99.The 18 revised full papers presented were carefully selected from a total of 40 submissions. Also included are three invited papers. The central issues of the papers are theories and methods which suport the specification, transformation, verification and analysis of programs and software systems.
        Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference ... (Lecture Notes in Computer Science)
        Average customer rating: Not rated
          		Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference ... (Lecture Notes in Computer Science)

          Manufacturer: Springer
          ProductGroup: Book
          Binding: Paperback

          Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
          Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
          GeneralGeneral | Programming | Computers & Internet | Subjects | Books
          LogicLogic | Programming | Computers & Internet | Subjects | Books
          Systems Analysis & DesignSystems Analysis & Design | Computer Science | Computers & Internet | Subjects | Books
          GeneralGeneral | Computers & Internet | Subjects | Books
          All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
          Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
          Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
          Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
          Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
          ASIN: 3540008977

          Book Description

          This book constitutes the refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2003, held in Warsaw, Poland in April 2003.

          The 26 revised full papers presented together with an invited paper were carefully reviewed and selected from 96 submissions. Among the topics covered are algebraic models; automata and language theory; behavioral equivalences; categorical models; computation processes over discrete and continuous data; computation structures; logics of programs; models of concurrent, reactive, distributed, and mobile systems; process algebras and calculi; semantics of programming languages; software specification and refinement; transition systems; and type systems and type theory.

          Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences ... 2005 (Lecture Notes in Computer Science)
          Average customer rating: Not rated
            		Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences ... 2005 (Lecture Notes in Computer Science)

            Manufacturer: Springer
            ProductGroup: Book
            Binding: Hardcover

            Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
            Structured DesignStructured Design | Software Design | Programming | Computers & Internet | Subjects | Books
            GeneralGeneral | Programming | Computers & Internet | Subjects | Books
            GeneralGeneral | Languages & Tools | Programming | Computers & Internet | Subjects | Books
            LogicLogic | Programming | Computers & Internet | Subjects | Books
            Information SystemsInformation Systems | Software Engineering | Computer Science | Computers & Internet | Subjects | Books
            GeneralGeneral | Computers & Internet | Subjects | Books
            All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
            Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
            Qualifying Textbooks - Spring 2007Qualifying Textbooks - Spring 2007 | Stores | Books
            Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
            Structured DesignStructured Design | Design & Development | Software Books | Custom Stores | Stores | Software
            ASIN: 3540253882

            Book Description

            This book constitutes the refereed proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 30 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 108 submissions. The papers are organized in topical sections on rule formats and bisimulation, probabilistic models, algebraic models, games and automata, language analysis, partial order models, logics, coalgebraic modal logics, and computational models.
            Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
            Average customer rating: Not rated
              		Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

              Manufacturer: Springer
              ProductGroup: Book
              Binding: Paperback

              Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
              Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
              Structured DesignStructured Design | Software Design | Programming | Computers & Internet | Subjects | Books
              GeneralGeneral | Programming | Computers & Internet | Subjects | Books
              GeneralGeneral | Languages & Tools | Programming | Computers & Internet | Subjects | Books
              LogicLogic | Programming | Computers & Internet | Subjects | Books
              Systems Analysis & DesignSystems Analysis & Design | Computer Science | Computers & Internet | Subjects | Books
              GeneralGeneral | Computers & Internet | Subjects | Books
              All Amazon UpgradeAll Amazon Upgrade | Amazon Upgrade | Stores | Books
              Computers & InternetComputers & Internet | Amazon Upgrade | Stores | Books
              Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
              Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
              Structured DesignStructured Design | Design & Development | Software Books | Custom Stores | Stores | Software
              ASIN: 3540330453

              Book Description

              This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
              Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
              Average customer rating: Not rated
                		Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

                Manufacturer: Springer
                ProductGroup: Book
                Binding: Hardcover

                Software DesignSoftware Design | Software Design | Programming | Computers & Internet | Subjects | Books
                Software DevelopmentSoftware Development | Software Design | Programming | Computers & Internet | Subjects | Books
                Structured DesignStructured Design | Software Design | Programming | Computers & Internet | Subjects | Books
                GeneralGeneral | Programming | Computers & Internet | Subjects | Books
                GeneralGeneral | Web Programming | Programming | Computers & Internet | Subjects | Books
                LogicLogic | Programming | Computers & Internet | Subjects | Books
                Systems Analysis & DesignSystems Analysis & Design | Computer Science | Computers & Internet | Subjects | Books
                GeneralGeneral | Computers & Internet | Subjects | Books
                LogicLogic | Pure Mathematics | Mathematics | Science | Subjects | Books
                LogicLogic | Pure Mathematics | Mathematics | Professional Science | Professional & Technical | Subjects | Books
                Software DesignSoftware Design | Design & Development | Software Books | Custom Stores | Stores | Software
                Software DevelopmentSoftware Development | Design & Development | Software Books | Custom Stores | Stores | Software
                Structured DesignStructured Design | Design & Development | Software Books | Custom Stores | Stores | Software
                ASIN: 3540713883

                Book Description

                This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.

                The 25 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. In particular the following topics are dealt with: algebraic models, automata and language theory, behavioral equivalences, categorical models, computation processes over discrete and continuous data, infinite state systems computation structures, logics of programs, modal, spatial, and temporal logics, models of concurrent, reactive, distributed, and mobile systems, process algebras and calculi, semantics of programming languages, software specification and refinement, type systems and type theory, fundamentals of security, semi-structured data, program correctness and verification.

                Books:

                1. Beginning XML
                2. JFC Unleashed (Unleashed S.)
                3. The Philosophical Programmer
                4. Automating Design with Pro/ENGINEER and Pro/PROGRAM
                5. Revolutionary Guide to Powerbuilder 4.0
                6. Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2003, Warsaw, Poland, April 7-11, 2003, Proceedings (Lecture Notes in Computer Science S.)
                7. Data Structures and Algorithms: A First Course
                8. Palm OS Cobalt Programming from the Ground Up (From the Ground Up S.)
                9. Fatal Defect: Chasing Killer Computer Bugs
                10. The MPEG4: Jump-start

                Books