Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

(Keywords)formal methods

Subject

Browse all works related to (Keywords)formal methods.

Home
Subject
(Keywords)formal methods

"25" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Algebraic methodology and software technology

Algebraic methodology and software technology: 13th international conference ; revised selected …

by AMAST, Lac Beauport

fromLecture Notes in Computer Science

0 Type: Book

Stabilization, safety, and security of distributed systems

Stabilization, safety, and security of distributed systems: 13th international symposium ; proceedings

by SSS, Grenoble

fromLecture Notes in Computer Science

0 Type: Book

Mobility in process calculi and natural computing

Mobility in process calculi and natural computing

by Ciobanu, Gabriel, Aman, Bogdan

fromNatural Computing Series

0 Type: Book

Model and data engineering

Model and data engineering: first international conference ; proceedings

by MEDI, Óbidos)

fromLecture Notes in Computer Science

0 Type: Book

Models in software engineering

Models in software engineering: workshops and symposia at MODELS 2010, Olso, Norw…

by MODELS, Oslo)

fromLecture Notes in Computer Science

0 Type: Book

Logic-based program synthesis and transformation

Logic-based program synthesis and transformation: 20th international symposium ; revised selected p…

by LOPSTR, Hagenberg im Mühlkreis

fromLecture Notes in Computer Science

0 Type: Book

Theoretical aspects of computing 8th international colloquium ; proceedings

Theoretical aspects of computing 8th international colloquium ; proceedings

by ICTAC, Johannesburg

fromLecture Notes in Computer Science

0 Type: Book

Interactive theorem proving

Interactive theorem proving: second international conference ; proceedings

by ITP, Berg-en-Dal)

fromLecture Notes in Computer Science

0 Type: Book

Rigorous software engineering for service oriented systems

Rigorous software engineering for service oriented systems: results of the SENSORIA project on software engin…

fromLecture Notes in Computer Science

0 Type: Book

Descriptional complexity of formal systems

Descriptional complexity of formal systems: 13 international workshop ; proceedings

by DCFS, Limburg a. d. Lahn

fromLecture Notes in Computer Science

0 Type: Book

Tests and proofs

Tests and proofs: 5th international conference ; proceedings

by TAP, Zürich

fromLecture Notes in Computer Science

0 Type: Book

System analysis and modeling

System analysis and modeling: about models ; 6th international workshop ; revis…

by SDL Forum Society, SAM, Oslo)

fromLecture Notes in Computer Science

0 Type: Book

Unconventional computation

Unconventional computation: 10th international conference ; proceedings

fromLecture Notes in Computer Science

0 Type: Book

Formal techniques for distributed systems

Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference a…

by International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, FMOODS, Reykjavík

fromLecture Notes in Computer Science

0 Type: Book

Automated deduction

Automated deduction: proceedings

by CADE, Breslau

fromLecture Notes in Computer Science

0 Type: Book

Software composition

Software composition: 10th international conference ; proceedings

fromLecture Notes in Computer Science

0 Type: Book

Reliable software technologies

Reliable software technologies

by Ada Europe, International Conference on Reliable Software Technologies, Edinburgh

fromLecture Notes in Computer Science

0 Type: Book

Model checking and artificial intelligence

Model checking and artificial intelligence: 6th international workshop ; revised selected and…

by MoChArt, Atlanta, Ga.)

fromLecture Notes in Computer Science

0 Type: Book

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

fromLecture Notes in Computer Science

0 Type: Book

Agent-oriented software engineering X

Agent-oriented software engineering X: 10th international workshop ; revised selected pa…

by AOSE, Budapest

fromLecture Notes in Computer Science

0 Type: Book

1
2

Subjects

(Keywords)formal methods (25) (Zielgruppe)Research (23) (Produktform)Paperback / soft… (22) (Keywords)systems modeling (7) (Keywords)verification (7) Formale Methode (7) Softwareentwicklung (6) (Keywords)real-time systems (4) (Keywords)theorem proving (4) (VLB-WN)1632: Hardcover, Soft… (4) Modellgetriebene Entwicklung (4) Software Engineering (4) (Keywords)Software Engineering (3) (Keywords)UML (3) (Keywords)distributed systems (3) (Keywords)embedded systems (3) (Keywords)formal verification (3) (Keywords)model checking (3) (Keywords)model transformation (3) Serviceorientierte Architektur (3) Verteiltes System (3) (Keywords)AI logics (2) (Keywords)Collaboration (2) (Keywords)Crowdsourcing (2) (Keywords)Domain Engineering (2) (Keywords)Multi-agent systems (2) (Keywords)SOA (2) (Keywords)Software Product Li… (2) (Keywords)Transformation (2) (Keywords)User Interfaces (2) (Keywords)Web graph (2) (Keywords)Web services (2) (Keywords)Web-based framework (2) (Keywords)Workflow (2) (Keywords)agent oriented spec… (2) (Keywords)anonymity (2) (Keywords)aspect-oriented mod… (2) (Keywords)automata theory (2) (Keywords)business process mo… (2) (Keywords)classification (2) (Keywords)cloud computing (2) (Keywords)colored petri nets (2) (Keywords)concept Web (2) (Keywords)cryptographic secur… (2) (Keywords)data integrity (2) (Keywords)design methodologies (2) (Keywords)fault tolerance (2) (Keywords)formal analysis (2) (Keywords)formal modeling (2) (Keywords)formal semantics (2) (Keywords)grammar systems (2) (Keywords)knowledge discovery (2) (Keywords)logic programming (2) (Keywords)meta-tools (2) (Keywords)methodology (2) (Keywords)model-driven develo… (2) (Keywords)modeling language (2) (Keywords)multiagent organisa… (2) (Keywords)ontology (2) (Keywords)optimization (2) (Keywords)pervasive computing (2) (Keywords)privacy (2) (Keywords)probabilistic metho… (2) (Keywords)program semantics (2) (Keywords)protocol verificati… (2) (Keywords)prototyping (2) (Keywords)reactive systems (2) (Keywords)real-time embedded … (2) (Keywords)requirements models (2) (Keywords)scientific workflows (2) (Keywords)security (2) (Keywords)security policies (2) (Keywords)semantic Web (2) (Keywords)semantics (2) (Keywords)social networks (2) (Keywords)software processes (2) (Keywords)systems analysis (2) (Keywords)timed automata (2) (Keywords)ubiquitous networki… (2) (Keywords)validation (2) (Keywords)wireless sensor net… (2) (Produktform)Electronic book … (2) (Zielgruppe)Professional/prac… (2) Agentenorientiertes Software … (2) Automatisches Beweisverfahren (2) Computer Communication Networ… (2) Computer Science (2) Computersicherheit (2) Datensicherung (2) Echtzeitsystem (2) Electronic Data Processing (2) Génie logiciel -- Congrès (2) Informatique (2) Kryptologie (2) Logic design (2) Model Checking (2) Programmierparadigma (2) Programmverifikation (2) Software engineering -- Congr… (2) Softwaretest (2) Structure logique (2) Theoretische Informatik (2) (Keywords)ACL2 (1) (Keywords)Ada 2005 programming (1) (Keywords)Concurrency (1) (Keywords)Coq (1) (Keywords)HOL (1) (Keywords)Isabelle (1) (Keywords)Machine Learning (1) (Keywords)OCL (1) (Keywords)Partial Evaluation (1) (Keywords)Petri nets (1) (Keywords)Programming languag… (1) (Keywords)Service Engineering (1) (Keywords)Service Oriented Ar… (1) (Keywords)Software Architectu… (1) (Keywords)Systems Modelling (1) (Keywords)Type Systems (1) (Keywords)adaptive middleware (1) (Keywords)ambient calculus (1) (Keywords)brane calculi (1) (Keywords)cellular automata (1) (Keywords)communication syste… (1) (Keywords)complexity theory (1) (Keywords)component-based mid… (1) (Keywords)computational model… (1) (Keywords)computer aided dedu… (1) (Keywords)computer aided veri… (1) (Keywords)computer algebra (1) (Keywords)computer science lo… (1) (Keywords)concurrent computing (1) (Keywords)constraint programm… (1) (Keywords)correctness (1) (Keywords)data mining (1) (Keywords)decidability theory (1) (Keywords)deterministic autom… (1) (Keywords)distributed computi… (1) (Keywords)dynamic networks (1) (Keywords)encodings (1) (Keywords)equilibria computat… (1) (Keywords)formal calculi (1) (Keywords)formal language the… (1) (Keywords)formal languages (1) (Keywords)formal testing (1) (Keywords)functional programm… (1) (Keywords)hybrid systems (1) (Keywords)interactive systems (1) (Keywords)logical reasoning (1) (Keywords)membrane computing (1) (Keywords)meta modeling (1) (Keywords)model-based archite… (1) (Keywords)model-based program… (1) (Keywords)model-based verific… (1) (Keywords)model-driven system… (1) (Keywords)modeling languages (1) (Keywords)mutli-party computa… (1) (Keywords)network computing (1) (Keywords)parallel computing (1) (Keywords)parallel programming (1) (Keywords)process algebra (1) (Keywords)process calculi (1) (Keywords)program correctness (1) (Keywords)program verification (1) (Keywords)programm semantics (1) (Keywords)programming calculi (1) (Keywords)proof assistants (1) (Keywords)real-time computati… (1) (Keywords)reliable systems (1) (Keywords)requirements engine… (1) (Keywords)safety-critical app… (1) (Keywords)safety-critical sys… (1) (Keywords)service-oriented ap… (1) (Keywords)service-oriented bu… (1) (Keywords)service-oriented co… (1) (Keywords)service-oriented sy… (1) (Keywords)software portability (1) (Keywords)software validation (1) (Keywords)software verificati… (1) (Keywords)static verification (1) (Keywords)systems biology (1) (Keywords)systems reliability (1) (Keywords)systems security (1) (Keywords)temporal logic (1) (Keywords)term rewriting syst… (1) (Keywords)termination (1) (Keywords)topic maps (1) (Keywords)web programming (1) (Keywords)zero-knowledge (1) (Produktform)Hardback (1) (VLB-WN)1635: Hardcover, Soft… (1) (VLB-WN)1636: Hardcover, Soft… (1) ADA (1) Ada (1) Ada (Computer program languag… (1) Ada (Computer program languag… (1) Ada (Langage de programmation… (1) Algebraische Methode (1) Anwendungssystem (1) Aspektorientierte Programmier… (1) Berechenbarkeit (1) Beschreibungskomplexität (1) Beweis (1) Beweistheorie (1) Bioinformatik (1) Chiffrement (Informatique) (1) Computer software -- Congress… (1) Computer software -- Congress… (1) Computer software -- Developm… (1) Computer software -- Reliabil… (1) Cytologie (1) Data Mining (1) Data encryption (Computer sci… (1) Data protection (1) Data-Warehouse-Konzept (1) Datenbanksystem (1) Datenmodell (1) Domänenspezifische Programmie… (1) Eingebettetes System (1) Entwurfssprache (1) Fehlertoleranz (1) Génie logiciel (1) HOL (1) Information systems (1) Informationssystem (1) Intelligence artificielle (1) Kommunikationssystem (1) Komplexität (1) Komplexitätstheorie (1) Komponente (1) Kryptosystem (1) Künstliche Intelligenz (1) Lac Beauport <2010> (1) Limburg <Lahn, 2011> (1) Logiciels -- Congrès. -- Fiab… (1) Mehrprozessorsystem (1) Metamodell (1) Metaprogrammierung (1) Mobile computing (1) Natural Computing (1) Nebenläufigkeit (1) Netzwerktopologie (1) Objektorientierte Programmier… (1) Ontologie (1) Pi-Kalkül (1) Programmanalyse (1) Programmsynthese (1) Programmtransformation (1) Protection de l'information (… (1) Prozessalgebra (1) Quantencomputer (1) Requirements engineering (1) SDL (1) Selbsteinstellendes System (1) Sicherheitskritisches System (1) Soft computing (1) Softwarearchitektur (1) Softwaresystem (1) Stabilisierung (1) Systementwicklung (1) Uml (1) Verifikation (1) Web services (1) Zuverlässigkeit (1) artificial intelligence (1) logische Programmierung (1)

Contributor

AOSE, Budapest (2) FOSAD, Bertinoro (2) AMAST, Lac Beauport (1) Ada Europe (1) Aman, Bogdan (1) CADE, Breslau (1) Ciobanu, Gabriel (1) DCFS, Limburg a. d. Lahn (1) FMOODS, Reykjavík (1) ICTAC, Johannesburg (1) ITP, Berg-en-Dal) (1) International Conference on R… (1) International Federation for … (1) LOPSTR, Hagenberg im Mühlkreis (1) MEDI, Óbidos) (1) MODELS, Oslo) (1) MoChArt, Atlanta, Ga.) (1) SAM, Oslo) (1) SC, Zürich (1) SDL Forum Society (1) SSS, Grenoble (1) TAP, Zürich (1) UC, Turku (1)

Publisher

Springer (23) Springer Berlin Heidelberg (2)

Year

2011 (23) 2010 (2)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type