Search results for Formal Methods

Refine Search

Omni badge Formal Methods Informatics

Alphascript Publishing (2010-09-08) - ISBN-13: 978-613-2-75586-5

29.00 €
Omni badge Formal Methods for Analyzing Privacy Policies

Techniques for Formal Representing, Analyzing, and Processing Privacy Policies

Informatics, IT

LAP LAMBERT Academic Publishing (2011-12-15) - ISBN-13: 978-3-8473-1824-8

79.00 €
Omni badge Integration of Processes using Formal Methods

FORMALIZATION OF CORE-COMPETENCY PROCESSES FOR INTEGRATION OF VALUE-ADD CHAINS

Informatics, IT

LAP LAMBERT Academic Publishing (2010-02-09) - ISBN-13: 978-3-8383-4503-1

59.00 €
Omni badge Formal Methods in Automated Design Debugging

Bridging the gap between debugging needs and automated capabilities

Electronics, electro-technology, communications technology

VDM Verlag Dr. Müller (2010-04-02) - ISBN-13: 978-3-639-24573-8

59.00 €
Omni badge Formal Sciences

Formal system, Mathematics, Theoretical computer science

General and comparative linguistics

Acu Publishing (2012-12-20) - ISBN-13: 978-613-7-35208-3

34.00 €
Omni badge Formal ethics

Formal system, Ethical formalism, First-order logic, Modal logic, Deontic logic, Imperative logic

Philosophy

Cel Publishing (2011-08-14) - ISBN-13: 978-613-6-62671-0

29.00 €
Omni badge Formal Methods for Computer/Communications Protocols and Software

Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations

Data communication, networks

LAP LAMBERT Academic Publishing (2012-05-27) - ISBN-13: 978-3-659-11835-7

68.00 €
Omni badge Formal Semantics (Linguistics)

Linguistics, Meaning (linguistics), Natural language, Mathematical logic, Formal language, Typed lambda calculus

General and comparative linguistics

Dicho (2011-08-27) - ISBN-13: 978-613-6-83015-5

34.00 €
Omni badge Educação não formal

A educação não formal e a prática educativa do Centro Juvenil Padre Ludovico Redin – Realeza/PR

Education, Occupation, Career

Novas Edições Acadêmicas (2018-03-12) - ISBN-13: 978-620-2-18873-9

49.90 €
Omni badge Tres Piezas Montañeras Pa’ Clarinete Solo: Análisis formal

Análisis formal con fines interpretativos. Partitura

Music

Editorial Académica Española (2019-05-16) - ISBN-13: 978-620-0-01625-6

39.90 €
Omni badge Intuitive formal modelling of biological systems

From an intuitive narrative description of biological systems to their formal computational analysis

Informatics

LAP LAMBERT Academic Publishing (2011-05-24) - ISBN-13: 978-3-8383-6269-4

59.00 €
Omni badge Women Formal Employment In Rwanda

Factors Affecting Women Access to Formal Employment in Kamonyi Distrcit, Rwanda

General Social sciences

VDM Verlag Dr. Müller (2011-06-23) - ISBN-13: 978-3-639-36557-3

49.00 €

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING