Explore Books on
formale methode

1-24 of 46 Books

Cover of Verification, model checking, and abstract interpretation by vmcai 2004 (2004 venice, italy)

Verification, model checking, and abstract interpretation

By VMCAI 2004 (2004 Venice, Italy)

Cover of Computer Safety, Reliability, and Security by janusz górski

Computer Safety, Reliability, and Security

By Janusz Górski

Cover of Universal Semantic Communication by brendan juba

Universal Semantic Communication

By Brendan Juba

Cover of Formal Methods for Components and Objects by frank s. de boer

Formal Methods for Components and Objects

By Frank S. de Boer

Cover of Formal modeling and analysis of timed systems by wang yi

Formal modeling and analysis of timed systems

By Wang Yi

Cover of Language Engineering And Rigorous Software Development by luis soares barbosa

Language Engineering And Rigorous Software Development

By Luis Soares Barbosa

Cover of Programming Languages and Systems by zhenjiang hu

Programming Languages and Systems

By Zhenjiang Hu

Cover of Algorithmic bioprocesses by anne condon

Algorithmic bioprocesses

By Anne Condon

Logic, language, information, and computation

Logic, language, information, and computation

By Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)

Cover of Computer safety, reliability and security by safecomp 2001 (2001 budapest, hungary)

Computer safety, reliability and security

By SAFECOMP 2001 (2001 Budapest, Hungary)

Cover of Formal methods by keijiro araki

Formal methods

By Keijiro Araki

Cover of Formal methods at the crossroads by bernhard k. aichernig

Formal methods at the crossroads

By Bernhard K. Aichernig

Cover of Software engineering with abstractions by valdis andris bērzin̦s̆

Software engineering with abstractions

By Valdis Andris Bērzin̦s̆

Cover of Knowledge Representation for Agents and Multi-Agent Systems by john-jules ch meyer

Knowledge Representation for Agents and Multi-Agent Systems

By John-Jules Ch Meyer

Cover of Formal Modeling and Analysis of Timed Systems by joël ouaknine

Formal Modeling and Analysis of Timed Systems

By Joël Ouaknine

Cover of On a method of multiprogramming by w.h.j. feijen,a.j.m. van gasteren

On a method of multiprogramming

By W.H.J. Feijen,A.J.M. van Gasteren

Cover of Verification of object-oriented software by bernhard beckert

Verification of object-oriented software

By Bernhard Beckert

Cover of Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday by jens palsberg

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday

By Jens Palsberg

Cover of Logic of Programs (Lecture Notes in Computer Science) by e. engeler

Logic of Programs (Lecture Notes in Computer Science)

By E. Engeler

Cover of Formal Methods for Industrial Critical Systems by darren cofer

Formal Methods for Industrial Critical Systems

By Darren Cofer

Cover of Fields of logic and computation by yuri gurevich,andreas blass,nachum dershowitz,wolfgang reisig

Fields of logic and computation

By Yuri Gurevich,Andreas Blass,Nachum Dershowitz,Wolfgang Reisig

Cover of Formal techniques for distributed systems by international conference on formal methods for open object-based distributed systems (12th 2010 amsterdam, netherlands)

Formal techniques for distributed systems

By International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)

Cover of Principles and Practice of Semantic Web Reasoning (vol. # 3703) by françois fages

Principles and Practice of Semantic Web Reasoning (vol. # 3703)

By François Fages

Cover of Formal Techniques for Distributed Systems by hutchison, david - undifferentiated

Formal Techniques for Distributed Systems

By Hutchison, David - undifferentiated