Explore: Formal Methods (computer Science)

“Computer-aided reasoning” Metadata:

• Title: Computer-aided reasoning
• Authors: Matt KaufmannPanagiotis ManoliosJ. Strother Moore
• Language: English
• Number of Pages: Median: 315
• Publisher: ➤  Lulu Press, Inc. - Kluwer Academic Publishers - Island Press - Springer
• Publish Date: 2000 - 2010
• Publish Location: Boston

“Computer-aided reasoning” Subjects and Themes:

• Subjects: ➤  Expert systems (Computer science) - Formal methods (Computer science) - Software engineering - Knowledge-based systems / expert systems - Computers - General Information - Programming - Software Development - Formal Language Theory - Computers - Formal methods (Computer scien - Computer Books: General - Expert systems (Computer scien - Artificial Intelligence - General - General - Computers / Artificial Intelligence - Computers / Computer Science - Computers-Programming - Software Development - Mathematics-General - Computer Science - Sotware engineering - Computer-aided design

Edition Identifiers:

• The Open Library ID: ➤  OL39854205M - OL7809879M - OL50676429M - OL18141157M - OL18141110M - OL7809952M
• Online Computer Library Center (OCLC) ID: 43845631
• Library of Congress Control Number (LCCN): 00037106 - 00038636
• All ISBNs: ➤  9780792377443 - 0792378490 - 9781461544500 - 9780557403127 - 9780792378495 - 0792377443 - 055740312X - 1461544505

“Theory and Formal Methods of Computing 94” Metadata:

• Title: ➤  Theory and Formal Methods of Computing 94
• Author: ➤  England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate
• Language: English
• Number of Pages: Median: 431
• Publisher: ➤  Imperial College Press - Distributed by World Scientific - World Scientific Pub Co Inc
• Publish Date: 1995
• Publish Location: ➤  Singapore - London - River Edge, NJ

“Theory and Formal Methods of Computing 94” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Computer science

Edition Identifiers:

• The Open Library ID: OL8627898M - OL800812M
• Online Computer Library Center (OCLC) ID: 33044482
• Library of Congress Control Number (LCCN): 95037143
• All ISBNs: 9781860940033 - 186094003X

“Fuzzy Computational Ontologies in Contexts” Metadata:

• Title: ➤  Fuzzy Computational Ontologies in Contexts
• Authors: Yi CaiChing-man Au YeungHo-fung Leung
• Language: English
• Number of Pages: Median: 211
• Publisher: ➤  Springer London, Limited - Higher Education Press - Springer
• Publish Date: 2012 - 2013
• Publish Location: ➤  New York - Beijing - Heidelberg

“Fuzzy Computational Ontologies in Contexts” Subjects and Themes:

• Subjects: ➤  Ontologies (information retrieval) - Fuzzy logic - Semantic web - Information Systems Applications (incl. Internet) - Artificial Intelligence (incl. Robotics) - Computer science - Algebra - Data processing - Artificial intelligence - Symbolic and Algebraic Manipulation - Knowledge representation (Information theory) - Formal methods (Computer science) - Ontologies (Information retrieval) - Fuzzy expert systems

Edition Identifiers:

• The Open Library ID: OL37148418M - OL30606223M - OL30658040M
• Online Computer Library Center (OCLC) ID: 758395321
• Library of Congress Control Number (LCCN): 2011941366
• All ISBNs: ➤  9783642254574 - 7040338890 - 9783642254567 - 3642254551 - 9787040338898 - 364225456X - 9783642254550 - 3642254578

“Formal Methods and Software Engineering” Metadata:

• Title: ➤  Formal Methods and Software Engineering
• Author: Shengchao Qin
• Language: English
• Number of Pages: Median: 618
• Publisher: ➤  Springer-Verlag GmbH Berlin Heidelberg - Springer
• Publish Date: 2011 - 2012 - 2019
• Publish Location: Berlin, Heidelberg

“Formal Methods and Software Engineering” Subjects and Themes:

• Subjects: ➤  Computer networks - Computer science - Software engineering - Computer software - Informatique - Formal methods (Computer science) - Congresses - Computer Communication Networks - Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Programming Languages, Compilers, Interpreters - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL30108350M - OL31391088M - OL25547591M
• Library of Congress Control Number (LCCN): 2011937705
• All ISBNs: ➤  3642245595 - 3642245587 - 3642245609 - 3030324087 - 9783642245602 - 9783642245589 - 9783642245596 - 9783030324087

“Communicating embedded systems” Metadata:

• Title: Communicating embedded systems
• Author: Claude Jard
• Language: English
• Number of Pages: Median: 288
• Publisher: ➤  ISTE Ltd/John Wiley and Sons - Wiley & Sons, Incorporated, John
• Publish Date: 2009 - 2013
• Publish Location: Hoboken, NJ

“Communicating embedded systems” Subjects and Themes:

• Subjects: ➤  Development - Embedded computer systems - Formal methods (Computer science) - Computer software - Programming - Design and construction - Computer software, development - System design - Computer science - Networks on a chip

Edition Identifiers:

• The Open Library ID: ➤  OL39882171M - OL29145446M - OL24001852M - OL29145443M - OL39900740M - OL29145447M - OL24061233M
• Online Computer Library Center (OCLC) ID: 857718082 - 424454754
• Library of Congress Control Number (LCCN): 2009026282
• All ISBNs: ➤  9781299187450 - 1118600126 - 1118600096 - 9781848211438 - 1848211430 - 9781118600139 - 9781118600122 - 9781118558188 - 1118558189 - 1299187455 - 1118600134 - 9781118600092

“Principles of Cyber-Physical Systems” Metadata:

• Title: ➤  Principles of Cyber-Physical Systems
• Author: Rajeev Alur
• Language: English
• Number of Pages: Median: 464
• Publisher: MIT Press
• Publish Date: 2015 - 2023

“Principles of Cyber-Physical Systems” Subjects and Themes:

• Subjects: ➤  Embedded computer systems - Computer networks - Automatic control - System design - Embedded internet devices - Internet of things - Formal methods (Computer science)

Edition Identifiers:

• The Open Library ID: OL49264009M - OL29754084M - OL29730887M - OL28559785M - OL29731223M
• Library of Congress Control Number (LCCN): 2014039755
• All ISBNs: ➤  0262029111 - 9780262328463 - 9780262328456 - 0262328461 - 0262548925 - 0262328445 - 9780262548922 - 0262328453 - 9780262029117 - 9780262328449

“Z” Metadata:

• Title: Z
• Author: Antoni Diller
• Language: English
• Number of Pages: Median: 374
• Publisher: ➤  J. Wiley - Wiley & Sons - Wiley
• Publish Date: 1990 - 1994
• Publish Location: ➤  New York - Chichester, West Sussex, England - Chichester [England]

“Z” Subjects and Themes:

• Subjects: ➤  Z (Computer program language) - Formal methods (Computer science) - Z (langage de programmation) - Computer programs

Edition Identifiers:

• The Open Library ID: OL7631315M - OL1875791M - OL1081404M
• Online Computer Library Center (OCLC) ID: 30025921
• Library of Congress Control Number (LCCN): 90035819 - 94004943
• All ISBNs: 0471939730 - 9780471939733 - 9780471924890 - 047192489X

“Software Specification Methods” Metadata:

• Title: Software Specification Methods
• Author: Henri Habrias
• Language: English
• Number of Pages: Median: 418
• Publisher: ➤  Wiley & Sons, Incorporated, John - ISTE - Springer London, Limited - Island Press
• Publish Date: ➤  2000 - 2006 - 2010 - 2012 - 2013
• Publish Location: London

“Software Specification Methods” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Computer software - System design

Edition Identifiers:

• The Open Library ID: ➤  OL50695349M - OL48698216M - OL39898133M - OL37237503M - OL29147161M - OL29147145M - OL29053397M - OL27088209M
• Online Computer Library Center (OCLC) ID: 475977060
• All ISBNs: ➤  1447107012 - 1447107020 - 0470612517 - 9781447107019 - 9781280510625 - 047039465X - 9781847045843 - 9781118613665 - 9781447107026 - 111861366X - 9781118613948 - 9780470394656 - 1847045847 - 9780470612514 - 1118613945 - 1280510625

“Formal methods for components and objects” Metadata:

• Title: ➤  Formal methods for components and objects
• Authors: Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever
• Language: English
• Number of Pages: Median: 283
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: ➤  2004 - 2005 - 2006 - 2008 - 2011 - 2013

“Formal methods for components and objects” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Software engineering - Computer science - Operating systems (Computers) - Logic design - Programming Languages, Compilers, Interpreters - Operating Systems - Logics and Meanings of Programs - Software Engineering/Programming and Operating Systems - Programming Techniques

Edition Identifiers:

• The Open Library ID: ➤  OL37152072M - OL37140536M - OL37121843M - OL37118243M - OL37102383M - OL34520541M - OL9680079M
• Online Computer Library Center (OCLC) ID: 61766573
• Library of Congress Control Number (LCCN): 2005932547
• All ISBNs: ➤  9783642252716 - 9783540291312 - 3540291318 - 3540319395 - 3540367500 - 9783540367505 - 9783540319399 - 9783642406157 - 9783540747925 - 3642406157 - 9783540301011 - 3642252710 - 3540301011 - 3540747923

“Modeling in event-b” Metadata:

• Title: Modeling in event-b
• Author: Jean-Raymond Abrial
• Language: English
• Number of Pages: Median: 599
• Publisher: Cambridge University Press
• Publish Date: 2006 - 2010 - 2013
• Publish Location: New York

“Modeling in event-b” Subjects and Themes:

• Subjects: ➤  B method (Computer science) - Verification - Computer systems - Mathematical models - Formal methods (Computer science) - Computer science - System design - Computer software, development

Edition Identifiers:

• The Open Library ID: ➤  OL24039831M - OL40470002M - OL53944946M - OL40567058M - OL40507162M - OL34485375M
• Online Computer Library Center (OCLC) ID: 496958975 - 857723265
• Library of Congress Control Number (LCCN): 2010001382
• All ISBNs: ➤  0511727860 - 1139195883 - 9780521895569 - 0511731221 - 9780511731228 - 9781139195881 - 9780511726477 - 0521895561 - 9781282631434 - 0511726473 - 9780511727863 - 1282631438

“The Way of Z” Metadata:

• Title: The Way of Z
• Author: Jonathan Jacky
• Language: English
• Number of Pages: Median: 367
• Publisher: Cambridge University Press
• Publish Date: 1996 - 1997 - 2010 - 2011
• Publish Location: Cambridge - New York, NY, USA

“The Way of Z” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Z (Computer program language) - Z (computer program language)

Edition Identifiers:

• The Open Library ID: OL40381300M - OL34448572M - OL7746056M - OL976419M - OL7746376M
• Library of Congress Control Number (LCCN): 96013537
• All ISBNs: ➤  0511888473 - 0511574924 - 0521559766 - 9780511574924 - 0521550416 - 9780521550413 - 9780511888472 - 9780521559768

“Extension Innovation Method” Metadata:

• Title: Extension Innovation Method
• Author: Chunyan Yang
• Language: English
• Number of Pages: Median: 258
• Publisher: Taylor & Francis Group
• Publish Date: 2018 - 2020

“Extension Innovation Method” Subjects and Themes:

• Subjects: ➤  Mathematics - Combinatorial analysis - Logic programming - Artificial intelligence - Group extensions (Mathematics) - Formal methods (Computer science) - Extensions de groupes (Mathématiques) - Méthodes formelles (Informatique) - TECHNOLOGY - Engineering - General - BUSINESS & ECONOMICS - Management Science - Manufacturing

Edition Identifiers:

• The Open Library ID: ➤  OL33731359M - OL30173724M - OL33779309M - OL33747377M - OL34653126M - OL33779363M
• Online Computer Library Center (OCLC) ID: 1076935529
• All ISBNs: ➤  0429769962 - 0429429444 - 9780429769979 - 1138367214 - 9780429429446 - 0429769954 - 9780429769962 - 0429769970 - 0367570742 - 9780367570743 - 9781138367210 - 9780429769955

“Practical UML statecharts in C/C++” Metadata:

• Title: ➤  Practical UML statecharts in C/C++
• Author: Miro Samek
• Language: English
• Number of Pages: Median: 728
• Publisher: ➤  Taylor & Francis Group - Newnes/Elsevier
• Publish Date: 2008 - 2009 - 2018
• Publish Location: Boston - Amsterdam

“Practical UML statecharts in C/C++” Subjects and Themes:

• Subjects: ➤  Development - UML (Computer science) - System design - Statecharts (Computer science) - Formal methods (Computer science) - Computer software - Object-oriented programming (Computer science) - Uml (computer science) - C (computer program language) - C plus plus (computer program language) - Embedded computer systems - C. - Eingebettetes System - Méthodes formelles (Informatique) - Programmation orientée objet (Informatique) - Statecharts (Informatique) - UML

Edition Identifiers:

• The Open Library ID: OL33667223M - OL33586364M - OL33551878M - OL33515146M - OL23228476M
• Online Computer Library Center (OCLC) ID: 319430061 - 1075444975
• Library of Congress Control Number (LCCN): 2008301422
• All ISBNs: ➤  1498717705 - 9781138436381 - 1138436380 - 0429159307 - 148224926X - 9780750687065 - 0750687061 - 9781482249262 - 9781498717700 - 9780429159305

“NASA Formal Methods” Metadata:

• Title: NASA Formal Methods
• Authors: Julia M. BadgerKristin Yvonne Rozier
• Language: English
• Number of Pages: Median: 400
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2014 - 2019 - 2023

“NASA Formal Methods” Subjects and Themes:

• Subjects: ➤  Computer science - Formal methods (Computer science) - Congresses - Méthodes formelles (Informatique) - Congrès - Software engineering - Operating systems (Computers) - Logic design - Programming Languages, Compilers, Interpreters - Operating Systems - Logics and Meanings of Programs - Software Engineering/Programming and Operating Systems - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL28009880M - OL28185780M - OL48186067M - OL37229135M
• Online Computer Library Center (OCLC) ID: 879173217
• All ISBNs: ➤  3030206513 - 3319061992 - 9783031331695 - 9783319062006 - 9783319061993 - 9783030206512 - 3031331699 - 331906200X

“Descriptional Complexity of Formal Systems” Metadata:

• Title: ➤  Descriptional Complexity of Formal Systems
• Authors: Jeffrey ShallitAlexander Okhotin
• Language: English
• Number of Pages: Median: 336
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2014 - 2015

“Descriptional Complexity of Formal Systems” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Formal languages - Machine theory - System design - Computer science - Computer software - Logic design - Computational complexity - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science

Edition Identifiers:

• The Open Library ID: OL34520359M - OL28813257M - OL27953823M - OL34520819M
• All ISBNs: ➤  9783319192246 - 9783319192253 - 3319192256 - 3319097032 - 9783319097046 - 3319097040 - 3319192248 - 9783319097039

“Process Algebra for Parallel and Distributed Processing” Metadata:

• Title: ➤  Process Algebra for Parallel and Distributed Processing
• Authors: Michael AlexanderGardner, WilliamWilliam Gardner
• Language: English
• Number of Pages: Median: 440
• Publisher: ➤  Chapman & Hall/CRC - Taylor & Francis Group
• Publish Date: 2008 - 2009 - 2019
• Publish Location: Boca Raton, FL

“Process Algebra for Parallel and Distributed Processing” Subjects and Themes:

• Subjects: ➤  Parallel processing (Electronic computers) - Distributed processing - Formal methods (Computer science) - Electronic data processing - General - Mathematics / General - Number Systems - Programming Languages - General - Mathematics - Science/Mathematics - Algebra, data processing - Parallel processing (electronic computers) - Electronic data processing, distributed processing - Parallélisme (Informatique) - Traitement réparti - Méthodes formelles (Informatique)

Edition Identifiers:

• The Open Library ID: OL18732959M - OL11816942M - OL34591662M - OL33696061M - OL33664475M
• Online Computer Library Center (OCLC) ID: 297350274 - 398693601 - 166358442
• Library of Congress Control Number (LCCN): 2008029295
• All ISBNs: ➤  1420064878 - 9780429144349 - 9781420064865 - 9780367386108 - 142006486X - 0429144342 - 9781420064872 - 0367386100

“Formal methods” Metadata:

• Title: Formal methods
• Authors: Paul BocaJ. P. BowenJ. I. Siddiqi
• Language: English
• Number of Pages: Median: 300
• Publisher: Springer
• Publish Date: 2009 - 2010 - 2014
• Publish Location: New York - London

“Formal methods” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Computer software, development - Software engineering - System design

Edition Identifiers:

• The Open Library ID: OL37122528M - OL28090796M - OL27975988M - OL24880021M
• Online Computer Library Center (OCLC) ID: 428028757
• Library of Congress Control Number (LCCN): 2009942261
• All ISBNs: ➤  9781447157458 - 1848827350 - 1848827377 - 9781848827363 - 1447157451 - 9781848827370 - 9781848827356 - 1848827369

“Formal Specification Using Z (Computer Science)” Metadata:

• Title: ➤  Formal Specification Using Z (Computer Science)
• Author: David Lightfoot
• Language: English
• Number of Pages: Median: 1089
• Publisher: Palgrave Macmillan
• Publish Date: 1991 - 2001

“Formal Specification Using Z (Computer Science)” Subjects and Themes:

• Subjects: ➤  Z (computer program language) - Z (Computer program language) - Computer software - Development - Formal methods (Computer science) - Z (Langage de programmation) - Méthodes formelles (Informatique)

Edition Identifiers:

• The Open Library ID: OL10550323M - OL10556804M
• Online Computer Library Center (OCLC) ID: 45829888
• All ISBNs: 0333763270 - 0333544080 - 9780333544082 - 9780333763278

“Formal methods for components and objects” Metadata:

• Title: ➤  Formal methods for components and objects
• Authors: Marcello M. BonsangueSusanne GrafWillem-Paul de Roever
• Language: English
• Number of Pages: Median: 429
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006 - 2008 - 2009

“Formal methods for components and objects” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Informatique - Approche orientee objet (Informatique) - Composants logiciels - Methodes formelles (Informatique) - Congres - Computer software

Edition Identifiers:

• The Open Library ID: OL37140537M - OL9056720M - OL37140538M
• Online Computer Library Center (OCLC) ID: 71008339
• Library of Congress Control Number (LCCN): 2006930291
• All ISBNs: ➤  3540921885 - 9783642041679 - 9783540367499 - 9783540921882 - 3642041671 - 3540367497

“Foundations and applications of security analysis” Metadata:

• Title: ➤  Foundations and applications of security analysis
• Author: ➤  Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)
• Language: English
• Number of Pages: Median: 221
• Publisher: Springer
• Publish Date: 2009
• Publish Location: New York - Berlin

“Foundations and applications of security analysis” Subjects and Themes:

• Subjects: ➤  Congresses - Formal methods (Computer science) - Computer security - Cryptography - Automatic theorem proving - Computers, access control

Edition Identifiers:

• The Open Library ID: OL24019237M - OL24049463M - OL24054380M - OL24079970M
• Online Computer Library Center (OCLC) ID: 428028158
• Library of Congress Control Number (LCCN): 2009933043
• All ISBNs: 3642034586 - 9783642034589

“Computer Safety, Reliability, and Security” Metadata:

• Title: ➤  Computer Safety, Reliability, and Security
• Author: Frank Ortmeier
• Language: English
• Number of Pages: Median: 402
• Publisher: ➤  Imprint: Springer - Springer Berlin / Heidelberg - Springer International Publishing AG - Springer Berlin Heidelberg
• Publish Date: 2012 - 2020
• Publish Location: Berlin, Heidelberg

“Computer Safety, Reliability, and Security” Subjects and Themes:

• Subjects: ➤  Systems and Data Security - Software engineering - Computer software - Computer networks - Computer science - Algorithm Analysis and Problem Complexity - Data protection - Computers and Society - Special Purpose and Application-Based Systems - Congresses - Reliability - Computers - Computer security - Formal methods (Computer science) - Computer Communication Networks

Edition Identifiers:

• The Open Library ID: OL37312694M - OL37312592M - OL34478984M - OL27026209M
• Library of Congress Control Number (LCCN): 2012947537
• All ISBNs: ➤  3030555828 - 3642336787 - 9783030545482 - 9783642336775 - 9783642336782 - 3642336779 - 3030545482 - 9783030555825

“Modern Formal Methods and Applications” Metadata:

• Title: ➤  Modern Formal Methods and Applications
• Author: Hossam A. Gabbar
• Language: English
• Number of Pages: Median: 211
• Publisher: ➤  Springer - Gabbar Hossam A - Springer London, Limited
• Publish Date: 2006 - 2010

“Modern Formal Methods and Applications” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Industrial applications - Logic design - System design

Edition Identifiers:

• The Open Library ID: OL37083436M - OL28163137M - OL8371782M
• Online Computer Library Center (OCLC) ID: 63514328
• Library of Congress Control Number (LCCN): 2006482015
• All ISBNs: ➤  9781402042225 - 140204223X - 9781402042232 - 1402042221 - 9048170796 - 9789048170791

“Scalable Techniques for Formal Verification” Metadata:

• Title: ➤  Scalable Techniques for Formal Verification
• Author: Sandip Ray
• Language: English
• Number of Pages: Median: 259
• Publisher: Springer
• Publish Date: 2010 - 2014

“Scalable Techniques for Formal Verification” Subjects and Themes:

• Subjects: ➤  Systems engineering - Engineering - Computer-aided design - Computer systems - Formal methods (Computer science) - Verification - Automatic theorem proving - System design - Electronic systems

Edition Identifiers:

• The Open Library ID: OL37119670M - OL28129563M - OL28124999M - OL26132858M
• Library of Congress Control Number (LCCN): 2010927798
• All ISBNs: ➤  144195998X - 1489984445 - 9781489984449 - 9781441959980 - 1441959971 - 9781441960061 - 1441960066 - 9781441959973

“Formal Aspects of Component Software” Metadata:

• Title: ➤  Formal Aspects of Component Software
• Author: Farhad Arbab
• Language: English
• Number of Pages: Median: 374
• Publisher: ➤  Springer - Imprint: Springer - Springer Berlin Heidelberg
• Publish Date: 2012 - 2020
• Publish Location: Berlin, Heidelberg

“Formal Aspects of Component Software” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Programming Techniques - Information Systems - Software engineering - Logic design - Logics and Meanings of Programs - Computer science - Management of Computing and Information Systems - Programming Languages, Compilers, Interpreters - Formal methods (Computer science) - Congresses - Component software - Logic, symbolic and mathematical - Programming languages (electronic computers)

Edition Identifiers:

• The Open Library ID: OL28290780M - OL28212413M - OL28013491M - OL27039439M
• Library of Congress Control Number (LCCN): 2012954139
• All ISBNs: ➤  364235744X - 3642357431 - 9783642357428 - 9783642357442 - 9783642357435 - 9783030409135 - 3642357423 - 3030409139

“Software specification” Metadata:

• Title: Software specification
• Authors: John D. GannonJames M. PurtiloMarvin V. Zelkowitz
• Language: English
• Number of Pages: Median: 249
• Publisher: ➤  Ablex Publishing Corporation - Ablex Pub. Co.
• Publish Date: 1993 - 1994
• Publish Location: Norwood, N.J

“Software specification” Subjects and Themes:

• Subjects: ➤  Computer software - Formal methods (Computer science) - Software engineering - Specifications - Computer Books: Word Processing - Computers - Languages / Programming - Programming - General - Computer Bks - Languages / Programming - Formal methods (Computer scien

Edition Identifiers:

• The Open Library ID: OL1437709M - OL8686559M
• Online Computer Library Center (OCLC) ID: 29595552
• Library of Congress Control Number (LCCN): 93050696
• All ISBNs: 1567500331 - 9781567500349 - 156750034X - 9781567500332

“Petri nets for systems engineering” Metadata:

• Title: ➤  Petri nets for systems engineering
• Authors: Claude GiraultRüdiger Valk
• Language: English
• Number of Pages: Median: 607
• Publisher: Springer
• Publish Date: 2002 - 2003
• Publish Location: New York - Berlin

“Petri nets for systems engineering” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Petri nets - Systems engineering - Mathematical logic - Software engineering - Machine Theory - Computers - Languages / Programming - Computer Mathematics - Programming - Systems Analysis & Design - Computers - Logic Design - Computer Books And Software - Industrial Technology - Formal methods (Computer scien - Applications - Computers / Programming / Software Development - Computers / Programming / Systems Analysis & Design - Computers-Machine Theory - Modeling - Computer Science

Edition Identifiers:

• The Open Library ID: OL18182006M - OL9057110M
• Online Computer Library Center (OCLC) ID: 50906339
• Library of Congress Control Number (LCCN): 2002191198
• All ISBNs: 9783540412175 - 3540412174

“Web services and formal methods” Metadata:

• Title: ➤  Web services and formal methods
• Authors: Mario BravettiManuel NúñezGianluigi Zavattaro
• Language: English
• Number of Pages: Median: 289
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006 - 2011

“Web services and formal methods” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Web services - Telecommunication systems

Edition Identifiers:

• The Open Library ID: OL9056847M - OL37140702M - OL37121877M
• Online Computer Library Center (OCLC) ID: 71298969
• Library of Congress Control Number (LCCN): 2006931574
• All ISBNs: ➤  9783642195891 - 9783540388623 - 3540388656 - 3540388621 - 364219589X - 9783540388654

“Formal approaches to software testing” Metadata:

• Title: ➤  Formal approaches to software testing
• Author: Carsten Weise
• Language: English
• Number of Pages: Median: 219
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006

“Formal approaches to software testing” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Testing - Congresses - Computer software - Informatique - Programming Languages - Essais - COMPUTERS - General - Methodes formelles (Informatique) - Model Checking - Logiciels - Congres - Testen - Software - Computer software, testing

Edition Identifiers:

• The Open Library ID: OL37118265M - OL9689388M
• Online Computer Library Center (OCLC) ID: 69983519 - 70119308
• Library of Congress Control Number (LCCN): 2006926507
• All ISBNs: 3540344543 - 9783540344544 - 3540344551 - 9783540344551

“Rigorous methods for software construction and analysis” Metadata:

• Title: ➤  Rigorous methods for software construction and analysis
• Authors: Jean-Raymond AbrialUwe Glässer
• Language: English
• Number of Pages: Median: 234
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2009 - 2010
• Publish Location: New York - Berlin

“Rigorous methods for software construction and analysis” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Electronic data processing - Information theory - Algorithms - Computer science - Computer software - System design

Edition Identifiers:

• The Open Library ID: OL34466782M - OL25272661M
• Online Computer Library Center (OCLC) ID: 520688646
• Library of Congress Control Number (LCCN): 2009942153
• All ISBNs: 3642114474 - 3642114466 - 9783642114465 - 9783642114472

“Formal methods for distributed system development” Metadata:

• Title: ➤  Formal methods for distributed system development
• Author: ➤  IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)
• Language: English
• Number of Pages: Median: 408
• Publisher: ➤  Springer - Kluwer Academic Publishers
• Publish Date: 2000
• Publish Location: Boston, MA

“Formal methods for distributed system development” Subjects and Themes:

• Subjects: ➤  Congresses - Electronic data processing - Distributed processing - Formal methods (Computer science) - Electronic data processing, distributed processing - Computer science

Edition Identifiers:

• The Open Library ID: OL11152472M - OL19142436M - OL22344177M
• Library of Congress Control Number (LCCN): 00061057
• All ISBNs: 9780792379683 - 0792379683

“Descriptional Complexity of Formal Systems” Metadata:

• Title: ➤  Descriptional Complexity of Formal Systems
• Authors: JürgensenRogério Reis
• Language: English
• Number of Pages: Median: 299
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2013

“Descriptional Complexity of Formal Systems” Subjects and Themes:

• Subjects: ➤  Formal languages - Congresses - Machine theory - Formal methods (Computer science) - Computer science - Computer software - Logic design - Computational complexity - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science

Edition Identifiers:

• The Open Library ID: OL34520555M - OL28013711M - OL28133025M
• Library of Congress Control Number (LCCN): 2013941383
• All ISBNs: ➤  3642393101 - 3642393098 - 364239311X - 9783642393099 - 9783642393105 - 9783642393112

“Formal methods in programming and their applications” Metadata:

• Title: ➤  Formal methods in programming and their applications
• Authors: D. BjørnerM. Broy
• Language: English
• Number of Pages: Median: 433
• Publisher: Springer - Springer-Verlag
• Publish Date: 1993
• Publish Location: Berlin - New York

“Formal methods in programming and their applications” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Computer programming - Mathematical Logic and Formal Languages - Software engineering - Algebra - Symbolic and Algebraic Manipulation - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Data processing - Programming Languages, Compilers, Interpreters - Artificial intelligence - System design

Edition Identifiers:

• The Open Library ID: OL1412398M - OL9061114M - OL7447401M
• Online Computer Library Center (OCLC) ID: 28851396
• Library of Congress Control Number (LCCN): 93021317
• All ISBNs: 9780387573168 - 9783540573166 - 354057316X - 038757316X

“Software Engineering and Formal Methods” Metadata:

• Title: ➤  Software Engineering and Formal Methods
• Author: George Eleftherakis
• Language: English
• Number of Pages: Median: 400
• Publisher: ➤  Imprint: Springer - Springer - Springer Berlin Heidelberg - Springer Berlin / Heidelberg
• Publish Date: 2012
• Publish Location: Berlin, Heidelberg

“Software Engineering and Formal Methods” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Software engineering - Computer networks - Logic design - Logics and Meanings of Programs - Computer science - Programming Languages, Compilers, Interpreters - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Congresses - Formal methods (Computer science) - Computer Communication Networks

Edition Identifiers:

• The Open Library ID: OL37155545M - OL27088103M - OL27985575M
• Library of Congress Control Number (LCCN): 2012947808
• All ISBNs: ➤  9783642338250 - 9783642338274 - 3642338275 - 3642338259 - 3642338267 - 9783642338267

“Formal Methods and Software Engineering” Metadata:

• Title: ➤  Formal Methods and Software Engineering
• Authors: Toshiaki AokiKenji Taguchi
• Language: English
• Number of Pages: Median: 527
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2012

“Formal Methods and Software Engineering” Subjects and Themes:

• Subjects: ➤  Software engineering - System design - Formal methods (Computer science) - Congresses - Computer software - Verification - Computer science - Computer Communication Networks - Programming Techniques - Programming Languages, Compilers, Interpreters - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL30529453M - OL28258170M - OL35792942M
• Library of Congress Control Number (LCCN): 2012949358
• All ISBNs: ➤  3642342825 - 9783642342820 - 9783642342813 - 9783642342806 - 3642342809 - 3642342817

“Computer Performance Engineering” Metadata:

• Title: ➤  Computer Performance Engineering
• Author: Mirco Tribastone
• Language: English
• Number of Pages: Median: 263
• Publisher: ➤  Springer - Imprint: Springer - Springer Berlin Heidelberg
• Publish Date: 2013
• Publish Location: Berlin, Heidelberg

“Computer Performance Engineering” Subjects and Themes:

• Subjects: ➤  Software engineering - Simulation and Modeling - Computer system performance - Engineering economy - Computer Communication Networks - Computer simulation - Energy Economics - System Performance and Evaluation - Computer science - Computer systems - Congresses - Evaluation - Computers - Reliability - Formal methods (Computer science) - Computer engineering

Edition Identifiers:

• The Open Library ID: OL30553944M - OL28137692M - OL27026198M
• Library of Congress Control Number (LCCN): 2013931752
• All ISBNs: ➤  9783642367823 - 3642367828 - 3642367801 - 9783642367809 - 9783642367816 - 364236781X

“Runtime verification” Metadata:

• Title: Runtime verification
• Author: ➤  RV 2008 (2008 Budapest, Hungary)
• Language: English
• Number of Pages: Median: 187
• Publisher: Springer
• Publish Date: 2008
• Publish Location: New York - Berlin

“Runtime verification” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Testing - Congresses - Verification - Computer software - Computer science - Computer software, verification

Edition Identifiers:

• The Open Library ID: OL23575024M - OL23642853M - OL23621562M
• Online Computer Library Center (OCLC) ID: 268784222
• Library of Congress Control Number (LCCN): 2008938338
• All ISBNs: 9783540892465 - 354089246X

“A Pragmatic Introduction to the Finite Element Method for Thermal And Stress Analysis” Metadata:

• Title: ➤  A Pragmatic Introduction to the Finite Element Method for Thermal And Stress Analysis
• Author: Petr Krysl
• Language: English
• Number of Pages: Median: 278
• Publisher: ➤  World Scientific Publishing Company
• Publish Date: 2006

“A Pragmatic Introduction to the Finite Element Method for Thermal And Stress Analysis” Subjects and Themes:

• Subjects: ➤  Galerkine, Méthodes de - Thermal conductivity - Éléments finis, Méthode des - Analyse thermique - Thermoelastic stress analysis - Methodology - MATLAB (logiciel) - Thermal analysis - Formal methods (Computer science) - MATLAB - Matlab (computer program) - Thermoelasticity

Edition Identifiers:

• The Open Library ID: OL9198055M - OL9197584M
• Online Computer Library Center (OCLC) ID: 82673106
• Library of Congress Control Number (LCCN): 2007278371
• All ISBNs: 9789812704115 - 981256876X - 9789812568762 - 9812704116

“Verification techniques for system-level design” Metadata:

• Title: ➤  Verification techniques for system-level design
• Authors: Masahiro FujitaMasahiro FujitaIndradeep GhoshMukul Prasad
• Language: English
• Number of Pages: Median: 248
• Publisher: ➤  Elsevier Science & Technology Books - Morgan Kaufmann Publishers - Morgan Kaufmann
• Publish Date: 2007 - 2008 - 2010
• Publish Location: Boston - Amsterdam

“Verification techniques for system-level design” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Testing - Verification - Integrated circuits - Systems on a chip - Circuits & components - Electrical engineering - Technology & Engineering - Technology & Industrial Arts - Science/Mathematics - Electricity - Electronics - Circuits - Integrated - Electronics - Microelectronics - Nonfiction - Technology / Engineering / Electrical - Formal methods (Computer science) - Integrated circuits - Systems on a chip - Testing - Verification - System design

Edition Identifiers:

• The Open Library ID: OL34589738M - OL10071907M - OL18276992M
• Online Computer Library Center (OCLC) ID: 155126176 - 435501525
• Library of Congress Control Number (LCCN): 2007028038
• All ISBNs: 9780123706164 - 0123706165 - 0080553133 - 9780080553139

“Formal methods for hardware verification” Metadata:

• Title: ➤  Formal methods for hardware verification
• Author: ➤  International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)
• Language: English
• Number of Pages: Median: 243
• Publisher: Springer
• Publish Date: 2006
• Publish Location: New York - Berlin

“Formal methods for hardware verification” Subjects and Themes:

• Subjects: ➤  Congresses - Formal methods (Computer science) - Verification - Integrated circuits - Circuits intégrés - Congrès - Vérification - Méthodes formelles (Informatique) - Informatique - Telecommunication systems

Edition Identifiers:

• The Open Library ID: OL17176547M - OL12774119M
• Online Computer Library Center (OCLC) ID: 69983491
• Library of Congress Control Number (LCCN): 2006925529
• All ISBNs: 3540343040 - 9783540343042

“Formal methods and software engineering” Metadata:

• Title: ➤  Formal methods and software engineering
• Author: ➤  International Conference on Formal Engineering Methods (5th 2003 Singapore)
• Language: English
• Number of Pages: Median: 681
• Publisher: Springer
• Publish Date: 2003 - 2004
• Publish Location: New York - Berlin

“Formal methods and software engineering” Subjects and Themes:

• Subjects: ➤  Congresses - Formal methods (Computer science) - Software engineering

Edition Identifiers:

• The Open Library ID: OL12772934M - OL19290926M - OL21171227M
• Online Computer Library Center (OCLC) ID: 53285201
• Library of Congress Control Number (LCCN): 2003066764
• All ISBNs: 354020461X - 9783540204619

“Formal methods and software engineering” Metadata:

• Title: ➤  Formal methods and software engineering
• Author: ➤  International Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)
• Language: English
• Number of Pages: Median: 396
• Publisher: Springer
• Publish Date: 2008
• Publish Location: [New York]

“Formal methods and software engineering” Subjects and Themes:

• Subjects: ➤  Congresses - Formal methods (Computer science) - Software engineering - Computer science

Edition Identifiers:

• The Open Library ID: OL23654378M - OL23735223M - OL23696767M
• Online Computer Library Center (OCLC) ID: 262884451
• Library of Congress Control Number (LCCN): 2008937804
• All ISBNs: 9783540881933 - 354088193X

“Formal Techniques for Networked and Distributed Systems - FORTE 2005” Metadata:

• Title: ➤  Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Author: Farn Wang
• Language: English
• Number of Pages: Median: 558
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2005 - 2008

“Formal Techniques for Networked and Distributed Systems - FORTE 2005” Subjects and Themes:

• Subjects: ➤  Computer network protocols - Electronic data processing - Formal methods (Computer science) - Congresses - Distributed processing

Edition Identifiers:

• The Open Library ID: OL34452535M - OL28147437M - OL9556646M
• All ISBNs: ➤  3540816399 - 354029189X - 9783540320845 - 9783540816393 - 3540320849 - 9783540291893

“Software specification methods” Metadata:

• Title: Software specification methods
• Author: Henri Habrias
• Language: English
• Number of Pages: Median: 401
• Publisher: ➤  ISTE Publishing Company - ISTE Ltd
• Publish Date: 2006
• Publish Location: Newport Beach, CA - London

“Software specification methods” Subjects and Themes:

• Subjects: ➤  Specifications - Formal methods (Computer science) - Computer software

Edition Identifiers:

• The Open Library ID: OL8775658M - OL18007322M
• Online Computer Library Center (OCLC) ID: 852513261 - 65165459
• Library of Congress Control Number (LCCN): 2006009290
• All ISBNs: 1905209347 - 9781905209347

“Challenges for action theories” Metadata:

• Title: Challenges for action theories
• Author: Michael Thielscher
• Language: English
• Number of Pages: Median: 138
• Publisher: Springer
• Publish Date: 2000
• Publish Location: New York - Berlin

“Challenges for action theories” Subjects and Themes:

• Subjects: ➤  Computer logic - Formal methods (Computer science) - System design - Computer science - Artificial intelligence - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL17594390M - OL17840788M - OL17703731M
• Online Computer Library Center (OCLC) ID: 43894238
• Library of Congress Control Number (LCCN): 00030750
• All ISBNs: 3540674551 - 9783540674559

“Computers in language research” Metadata:

• Title: Computers in language research
• Authors: Walter A. SedelowSally Yeates Sedelow
• Language: English
• Number of Pages: Median: 223
• Publisher: ➤  de Gruyter GmbH, Walter - Mouton
• Publish Date: 1979 - 2021
• Publish Location: [2514 GC] The Hague

“Computers in language research” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Graph theory - Formal languages - Computational linguistics - Music, data processing

Edition Identifiers:

• The Open Library ID: OL36262194M - OL35852515M - OL4482342M
• Online Computer Library Center (OCLC) ID: 5355214
• Library of Congress Control Number (LCCN): 79310852
• All ISBNs: ➤  9783112419571 - 9783112419588 - 9027978468 - 3112419588 - 9789027978462 - 311241957X

“Design Pattern Formalization Techniques” Metadata:

• Title: ➤  Design Pattern Formalization Techniques
• Author: Toufik Taibi
• Language: English
• Number of Pages: Median: 300
• Publisher: IGI Global - IGI Publishing
• Publish Date: 2007

“Design Pattern Formalization Techniques” Subjects and Themes:

• Subjects: ➤  Open Source - Software architecture - COMPUTERS - Programming - Software patterns - General - Software Development & Engineering - Formal methods (Computer science) - Tools - System design - Computer architecture

Edition Identifiers:

• The Open Library ID: OL8900931M - OL35891204M
• Online Computer Library Center (OCLC) ID: 74492117
• Library of Congress Control Number (LCCN): 2006035478
• All ISBNs: 9781599042190 - 1599042193 - 9781599042213 - 1599042215

“Challenges for Action Theories” Metadata:

• Title: Challenges for Action Theories
• Author: Michael Thielscher
• Language: English
• Number of Pages: Median: 138
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2000 - 2006

“Challenges for Action Theories” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Computer logic - System design

Edition Identifiers:

• The Open Library ID: OL37099129M - OL9427900M
• All ISBNs: 9783540674559 - 9783540455967 - 3540674551 - 3540455965

“Formal description techniques, IX” Metadata:

• Title: ➤  Formal description techniques, IX
• Author: ➤  International Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany)
• Language: English
• Number of Pages: Median: 538
• Publisher: ➤  Springer - published by Chapman & Hall on behalf of the International Federation for Information Processing
• Publish Date: 1996
• Publish Location: London

“Formal description techniques, IX” Subjects and Themes:

• Subjects: ➤  Computer network protocols - Computer programming - Congresses - Distributed processing - Electronic data processing - Formal languages - Formal methods (Computer science)

Edition Identifiers:

• The Open Library ID: OL7479179M - OL3969059M
• Online Computer Library Center (OCLC) ID: 35829207
• Library of Congress Control Number (LCCN): 2001275409
• All ISBNs: 9780412794902 - 041279490X

“Logic Programming” Metadata:

• Title: Logic Programming
• Author: Christoph Beierle
• Language: English
• Number of Pages: Median: 411
• Publisher: ➤  Elsevier - Elsevier Publishing Company
• Publish Date: 1994 - 1995
• Publish Location: Amsterdam - New York

“Logic Programming” Subjects and Themes:

• Subjects: ➤  Logic programming - Formal methods (Computer science)

Edition Identifiers:

• The Open Library ID: OL1114169M - OL7532346M
• Library of Congress Control Number (LCCN): 94040114
• All ISBNs: 0444820922 - 9780444820921

“Formal methods fact file” Metadata:

• Title: Formal methods fact file
• Author: Andrew Harry
• Language: English
• Number of Pages: Median: 394
• Publisher: John Wiley & Sons - Wiley
• Publish Date: 1996 - 1997
• Publish Location: ➤  Chichester [England] - New York

“Formal methods fact file” Subjects and Themes:

• Subjects: ➤  Development - Formal methods (Computer science) - Computer software - Computer software, development - Research, methodology