ISBNs for formal language theory

isbn.nu

search for books and compare prices

ISBN

Title

Author

Advanced

About

Who We Are

What's an ISBN?

http://isbn.nu/sisbn/formal%20language%20theory

formal language theory matches 114 work(s)

< previous 25 | displaying 26 to 50 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China, October 21-25, 2002 : Proceedings

Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions...read more

By Chris George (editor), International Conference on Formal Engineering Methods 2002 Shanghai and Huaikou Miao

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540000297 | Springer-Verlag New York Inc, October 1, 2002, cover price $139.00 | About this edition: This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002.

Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Product Description: A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic...read more (view table of contents, read Amazon.com's description)

By Alan Parkes

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9781852334642 | Springer Verlag, August 1, 2002, cover price $95.00 | About this edition: A well-written and accessible introduction to the most important features of formal languages and automata theory.

Developments in Language Theory: 5th International Conference, Dlt 2001, Wien, Austria, July 2001 : Revised Papers

Product Description: This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001. The 24 revised full papers presented together with 10 revised invited papers were carefully selected during two rounds of reviewing and revision from a total of 64 papers submitted...read more

By Werner Kuich (editor), Grzegorz Rozenberg and Arto Salomaa

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540434535 | Springer Verlag, August 1, 2002, cover price $72.95 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001.

Concurrency in Dependable Computing

Product Description: Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set of normal system events...read more (view table of contents, read Amazon.com's description)

By Paul Ezhilchelvan (editor) and Alexander Romanovsky (editor)

See complete details on each edition (2 editions listed)

Edition summary (click for prices and details):

Hardcover:

9781402070433 | Kluwer Academic Pub, June 1, 2002, cover price $194.00 | About this edition: Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing.

Paperback:

9781441952783 | Springer Verlag, June 1, 2002, cover price $194.00 | About this edition: Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing.

Rewriting Techniques and Applications: 13th International Conference, Rta 2002, Copenhagen, Denmark, July 22-24, 2002. Proceedings

Product Description: This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions...read more

By International Conference on Rewriting Techniques and Applications (other contributor) and Sophie Tison

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540439165 | Springer-Verlag New York Inc, June 1, 2002, cover price $72.95 | About this edition: This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002.

Symbolic Simulation Methods for Industrial Formal Verification

Product Description: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity...read more (view table of contents, read Amazon.com's description)

By Robert B. Jones

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9781402071034 | Kluwer Academic Pub, May 1, 2002, cover price $139.00 | About this edition: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation.

Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002, Proceedings

Product Description: This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002. The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions...read more

By Michael Butler (editor), Luigia Petre and K. Sere

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540437031 | Springer Verlag, May 1, 2002, cover price $77.95 | About this edition: This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.

Modular Specification and Verification of Object-Oriented Programs

Product Description: This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules...read more (view table of contents, read Amazon.com's description)

By Peter Muller

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540431671 | Springer Verlag, April 1, 2002, cover price $64.95 | About this edition: This book presents new techniques for the formal specification and verification of object-oriented software.

Recent Trends in Algebraic Development Techniques: 15th International Workshop, Wadt 2001 Joint With the Colfi Wg Meeting Genova, Italy, April 1-3, 2001 Selected Papers

Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001...read more

By Maura Cerioli (editor) and Gianna Reggio (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540431596 | Springer Verlag, April 1, 2002, cover price $69.95 | About this edition: This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.

Zb 2002: Formal Specification and Development in Z and B

Product Description: This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book...read more

By J. P. Bowen (editor), M. C. Henson (editor) and International Conference of B and Z Users (other contributor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540431664 | Springer Verlag, March 1, 2002, cover price $87.95 | About this edition: This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002.

Recent Advances in Parsing Technology

Product Description: Parsing technologies are concerned with the automatic decomposition of complex structures into their constituent parts, with structures in formal or natural languages as their main, but certainly not their only, domain of application...read more

By Harry Bunt (editor) and Masaru Tomita (editor)

See complete details on each edition (2 editions listed)

Edition summary (click for prices and details):

Hardcover:

9780792341529 | Kluwer Academic Pub, October 1, 1996, cover price $158.00 | About this edition: Parsing technologies are concerned with the automatic decomposition of complex structures into their constituent parts, with structures in formal or natural languages as their main, but certainly not their only, domain of application.

Paperback:

9781402003714 | Kluwer Academic Print on Demand, December 1, 2001, cover price $62.95 | About this edition: Parsing technologies are concerned with the automatic decomposition of complex structures into their constituent parts, with structures in formal or natural languages as their main, but certainly not their only, domain of application.

Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals As Agents

Product Description: Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly interrelated network of connections along which reasoning is possible and which can be applied to different situations...read more (view table of contents, read Amazon.com's description)

By Gabriele Kern-Isberner

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540423676 | Springer Verlag, September 1, 2001, cover price $57.95 | About this edition: Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books.

Automated Theorem Proving in Software Engineering

Product Description: Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering...read more (view table of contents, read Amazon.com's description)

By Johann M. Schumann

See complete details on each edition (2 editions listed)

Edition summary (click for prices and details):

Hardcover:

9783540679899 | Springer-Verlag New York Inc, August 1, 2001, cover price $109.00 | About this edition: Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design.

Paperback:

9783642087592 | Springer Verlag, August 1, 2001, cover price $109.00 | About this edition: Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design.

Lectures on Formal Methods and Performance Analysis: First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures

Product Description: Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred...read more (view table of contents, read Amazon.com's description)

By Ed Brinksma (editor), Holger Hermanns (editor) and Joost-Pieter Katoen (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540424796 | Springer Verlag, August 1, 2001, cover price $79.95 | About this edition: Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities.

Systems and Software Verification: Model-Checking Techniques and Tools

Product Description: Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique...read more (view table of contents, read Amazon.com's description)

By Beatrice Berard (editor), Michel Bidoit (editor), Alain Finkel (editor), Francois Laroussinie (editor) and Antoine Petit (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9783540415237 | Springer-Verlag New York Inc, August 1, 2001, cover price $79.95 | About this edition: Model checking is a powerful approach for the formal verification of software.

Formal Techniques for Networked and Distributed Systems: Forte 2001 : Ifip Tc5/Wg6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems August 28-31, 2001, Cheju Island,

Product Description: This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Applications of Verification, Distributed Systems Testing, Test Sequence Derivation...read more

By Byoungmoon Chin (editor), Sungwon Kang (editor), Myungchul Kim (editor) and Danhyung Lee (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9780792374701 | Kluwer Academic Pub, July 1, 2001, cover price $258.00 | About this edition: This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems.

Rewriting Techniques and Applications: 12th International Conference, Rta 2001 Utrecht, the Netherlands, May 22-24, 2001 : Proceedings

Product Description: This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions...read more (view table of contents, read Amazon.com's description)

By International Conference on Rewriting Techniques and Applications (other contributor) and Aart Middeldorp (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540421177 | Springer Verlag, June 1, 2001, cover price $74.95 | About this edition: This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.

Fme 2001: Formal Methods for Increasing Software Productivity : 10th International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001

Product Description: This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions...read more (view table of contents, read Amazon.com's description)

By Pamela Zave (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540417910 | Springer-Verlag New York Inc, April 1, 2001, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.

Software Reliability Methods

Product Description: This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background...read more (view table of contents, read Amazon.com's description)

By Doron Peled

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9780387951065 | Springer-Verlag New York Inc, March 1, 2001, cover price $159.00 | About this edition: This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method.

Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference

By IEEE Computer Society

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9780769508245 | IEEE, January 1, 2001, cover price $110.00

Efficient Processing With Constraint-Logic Grammars Using Grammar Compilation

Product Description: The ascendance of communication technologies such as the internet has accentuated the need to improve access, manipulation and translation of written language. One of the main goals of researchers in the field of computational linguistics is to create programs that put to use knowledge of human language in pursuit of technology that can overcome the many obstacles in the interaction between human and computer...read more (view table of contents, read Amazon.com's description)

By Guido Minnen

See complete details on each edition (2 editions listed)

Edition summary (click for prices and details):

Hardcover:

9781575863054 | Stanford Univ Center for the Study, April 1, 2001, cover price $65.00 | About this edition: The ascendance of communication technologies such as the internet has accentuated the need to improve access, manipulation and translation of written language.

Paperback:

9781575863061 | Stanford Univ Center for the Study, April 1, 2001, cover price $25.00 | About this edition: The ascendance of communication technologies such as the internet has accentuated the need to improve access, manipulation and translation of written language.

Grammatical Inference: Algorithms and Applications : 5th International Colloquium, Icgi 2000, Lisbon, Portugal, September 11-13, 2000 : Proceedings

Product Description: This book constitutes the refereed proceedings of the 5th International Colloquium on Grammatical Inference, ICGI 2000, held in Lisbon, Portugal in September 2000. The 24 revised full papers presented were carefully reviewed and selected from 35 submissions...read more (view table of contents, read Amazon.com's description)

By International Colloquium on Grammatical Inference 2000 and Arlindo L. Oliveira (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540410119 | Springer Verlag, December 1, 2000, cover price $69.95 | About this edition: This book constitutes the refereed proceedings of the 5th International Colloquium on Grammatical Inference, ICGI 2000, held in Lisbon, Portugal in September 2000.

Synchronous Equivalence: Formal Methods for Embedded Systems

Product Description: An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible...read more (view table of contents, read Amazon.com's description)

By Felice Balarin, Harry Hsieh and Alberto Sangiovanni-Vincentelli

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9780792372622 | Kluwer Academic Pub, November 1, 2000, cover price $139.00 | About this edition: An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer.

Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings

Product Description: This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions...read more (view table of contents, read Amazon.com's description)

By International Conference on Integrated Formal Methods 2000 Dagstuhl c, Thomas Santen (editor) and Bill Stoddart (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540411963 | Springer Verlag, November 1, 2000, cover price $89.95 | About this edition: This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.

Language Constructs for Describing Features: Proceedings of the Fireworks Workshop

Product Description: A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe...read more (view table of contents, read Amazon.com's description)

By Stephen Gilmore (editor) and Mark Ryan (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9781852333928 | Springer Verlag, November 1, 2000, cover price $151.00 | About this edition: A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe.

< previous 25 | displaying 26 to 50 | next 25 >