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 115 work(s)

at beginning | displaying 1 to 25 | next 25 >

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

Introduction to Formal Languages and Automata

Product Description: Written to address the fundamentals of formal languages, automata, and computabilty, An Introduction to Formal Languages and Automata provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course...read more

By Peter Linz

See complete details on each edition (4 editions listed)

Edition summary (click for prices and details):

Hardcover:

9781449615529, titled "An Introduction to Formal Languages and Automata" | 5 har/cdr edition (Jones & Bartlett Pub, February 14, 2011), cover price $170.95 | About this edition: Written to address the fundamentals of formal languages, automata, and computabilty, An Introduction to Formal Languages and Automata provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course.

9780763714222, titled "An Introduction to Formal Languages and Automata" | 3 edition (Jones & Bartlett Pub, October 1, 2000), cover price $131.95 | About this edition: Computer Science

9780763702960 | 2nd edition (Jones & Bartlett Pub, June 1, 1997), cover price $66.95 | About this edition: Computer Science

9780669354034 | 2nd edition (D C Heath & Co, March 1, 1996), cover price $57.50 | About this edition: Computer Science

A Second Course in Formal Languages and Automata Theory

Product Description: Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course. After a review of basic concepts, the book covers combinatorics on words, regular languages, context-free languages, parsing and recognition, Turing machines, and other language classes...read more

By Jeffrey Shallit

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9780521865722 | 1 edition (Cambridge Univ Pr, September 30, 2008), cover price $65.00 | About this edition: Intended for graduate students and advanced undergraduates in computer science, A Second Course in Formal Languages and Automata Theory treats topics in the theory of computation not usually covered in a first course.

A Concise Introduction to Languages, Machines

Product Description: A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader...read more

By Alan P. Parkes

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9781848001206 | Springer-Verlag New York Inc, September 12, 2008, cover price $49.95 | About this edition: A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic.

Formal Methods in Systems Biology: First International Workshop, Fmsb 2008, Cambridge, Uk, June 4-5, 2008, Proceedings

Product Description: This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contributions...read more

By Jasmin Fisher (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540684107 | Springer-Verlag New York Inc, August 3, 2008, cover price $59.95 | About this edition: This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008.

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification...read more

By Stefan Leue (editor) and Pedro Merino (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540797067 | Springer-Verlag New York Inc, July 8, 2008, cover price $69.95 | About this edition: This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.

FM 2008, Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Product Description: This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions...read more

By Jorge Cuellar (editor), Tom Maibaum (editor) and Kaisa Sere (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540682356 | Springer-Verlag New York Inc, July 8, 2008, cover price $79.95 | About this edition: This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.

Formal Methods and Testing: An Outcome of the Fortest Network: Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST)...read more

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540789161 | Springer-Verlag New York Inc, May 1, 2008, cover price $79.95 | About this edition: This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, Relmics/A

Product Description: The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008...read more

By Georg Struth (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540789123 | Springer-Verlag New York Inc, April 1, 2008, cover price $79.95 | About this edition: The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008.

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submissions...read more

By Michael Butler (editor), Michael G. Hinchey (editor) and Maria M. Larrondo-petrie (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540766483 | Springer-Verlag New York Inc, December 14, 2007, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.

Automata, Computability and Complexity: Theory and Applications

Product Description: The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the myriad ways in which the theory influences the design of modern hardware and software systems...read more

By Elaine Rich

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9780132288064 | 1 edition (Prentice Hall, September 13, 2007), cover price $151.00 | About this edition: The theoretical underpinnings of computing form a standard part of almost every computer science curriculum.

Computing Meaning

Product Description: This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed in language. Aimed at linguists, computer scientists, and logicians with an interest in the computation of meaning, this book focuses on two main topics in recent research in computational semantics...read more

By Harry Bunt (editor)

See complete details on each edition (5 editions listed)

Edition summary (click for prices and details):

Hardcover:

9781402059568 | Springer Verlag, August 3, 2007, cover price $209.00 | About this edition: This book provides an in-depth view of the current issues, problems and approaches in the computation of meaning as expressed in language.

9781402001758 | Kluwer Academic Pub, February 1, 2002, cover price $209.00 | About this edition: This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics.

9780792361084 | Kluwer Academic Pub, December 1, 1999, cover price $169.00 | About this edition: This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics.

Paperback:

9781402004513 | Kluwer Academic Pub, March 1, 2002, cover price $67.95 | About this edition: This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics.

9781402002908 | Kluwer Academic Print on Demand, December 1, 2001, cover price $59.95 | About this edition: This book is a collection of papers written by outstanding researchers in the newly emerging field of computational semantics.

Distributed Applications and Interoperable Systems: 7th Ifip Wg 6.1 International Conference, Dais 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings

Product Description: This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2007, held in Paphos, Cyprus in June 2007. It covers current research in context-awareness, adaptation, mobility, distributed applications and peer-to-peer computing, all of which relate to the sustainability of distributed applications and integrated systems...read more

By Jadwiga Indulska (editor) and Kerry Raymond (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540728818 | Springer-Verlag New York Inc, July 1, 2007, cover price $89.95 | About this edition: This book constitutes the refereed proceedings of the 7th IFIP WG 6.

Temporal Logic And State Systems

Product Description: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories...read more

By Fred Kroger and Stefan Merz

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Hardcover:

9783540674016 | Springer-Verlag New York Inc, May 4, 2008, cover price $89.95 | About this edition: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems.

Logic-based Program Synthesis and Transformation: 16th International Symposium, Lopstr 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006...read more

By Germ�n Puebla (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540714095 | Springer-Verlag New York Inc, April 19, 2007, cover price $59.95 | About this edition: This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.

Foundations of Software Science and Computational Structures: 10th International Conference, Fossacs 2007, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2007, Braga, Por

Product 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. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems...read more

By Helmut Seidl (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540713883 | Springer-Verlag New York Inc, April 12, 2007, cover price $74.95 | About this edition: 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.

Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A

Product Description: This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006 (see also LNCS volume 4137)...read more

By Lubos Brim (editor), Boudewijn Haverkort (editor), Martin Leucker (editor) and Jaco Van De Pol (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540709510 | Springer-Verlag New York Inc, March 28, 2007, cover price $74.95 | About this edition: This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006 (see also LNCS volume 4137).

Formal Concept Analysis: 5th International Conference, Icfca 2007, Clermont-ferrand, France, February 12-16, 2007, Proceedings

Product Description: This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007, held in Clermont-Ferrand, France in February 2007. The 19 revised full papers presented together with 1 invited lecture comprise state of the art research from foundational to applied lattice theory and related fields, all of which involve methods and techniques of formal concept analysis...read more

By Sergei O. Kuznetsov (editor) and Stefan Schmidt (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540708285 | Springer Verlag, March 12, 2007, cover price $69.95 | About this edition: This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007, held in Clermont-Ferrand, France in February 2007.

Journal on Data Semantics VIII

Product Description: The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge...read more

By Paolo Atzeni (editor), Francois Fages (editor), Mohand-Said Hacid (editor), Michael Kifer (editor) and Stefano Spaccapietra (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540706632 | Springer-Verlag New York Inc, March 5, 2007, cover price $59.95 | About this edition: The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops Fates 2006 and Rv 2006 Seattle, Wa, USA, August 15-16, 2006 Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006...read more

By Klaus Havelund (editor), Manuel N�nez (editor), Grigore Rosu (editor) and Burkhart Wolff (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540496991 | Springer-Verlag New York Inc, February 3, 2007, cover price $63.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Languages and Machines: An Introduction to the Theory of Computer Science

Product Description: The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations...read more

By Thomas A. Sudkamp

See complete details on each edition (3 editions listed)

Edition summary (click for prices and details):

Hardcover:

9780321322210 | 3 edition (Addison-Wesley, February 18, 2005), cover price $124.00 | About this edition: The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science.

9780201821369 | 2 sub edition (Addison-Wesley, November 1, 1996), cover price $118.40 | About this edition: Languages and Machines, which is intended for computer scientists in the theoretical foundations of their subject, gives a mathematically sound presentation of the theory of computing at the junior and senior level.

9780201157680 | Addison-Wesley, April 1, 1988, cover price $50.00

Understanding Formal Methods

Product Description: This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail...read more (view table of contents, read Amazon.com's description)

By Michael G. Hinchey (editor) and J. F. Monin

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9781852332471 | Springer Verlag, March 1, 2003, cover price $119.00 | About this edition: This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed.

Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 2002, Proceedings

Product Description: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions...read more

By Mark D. Aagaard and John W. O'Leary (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540001164 | Springer-Verlag New York Inc, March 1, 2003, cover price $89.95 | About this edition: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002.

Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 : Proceedings

Product Description: This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions...read more

By Doron A. Peled and Moshe Y. Vardi (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540001416 | Springer-Verlag New York Inc, December 1, 2002, cover price $85.00 | About this edition: This book constitutes the refereed proceedings of the 22nd IFIP WG 6.

Grammatical Inference: Algorithms and Applications : 6th International Colloquium, Icgi 2002, Amsterdam, the Netherlands, September 23-25, 2002 : Proceedings

Product Description: This book constitutes the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands in September 2002. The 28 revised full papers presented together with 7 software descriptions were carefully reviewed and selected from 48 submissions...read more

By Henning Fernau (editor), net International Colloquium on Grammatical Inference 2002 Amsterdam and Menno Van Zaanen (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540442394 | Springer Verlag, October 1, 2002, cover price $64.95 | About this edition: This book constitutes the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands in September 2002.

Graph Transformations: First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002 : Proceedings

Presents papers from the ICGT 2002 conference.

By Andrea Corradini (editor), Hartmut Ehrig (editor), Icgt 200 (other contributor), H. J. Kreowski (editor) and Grzegorz Rozenberg (editor)

See complete details on each edition (1 edition listed)

Edition summary (click for prices and details):

Paperback:

9783540443100 | Springer Verlag, October 1, 2002, cover price $89.95 | About this edition: Presents papers from the ICGT 2002 conference.

at beginning | displaying 1 to 25 | next 25 >