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

PROGRAMMES CORRECTS (THÉORIE DE LA PROGRAMMATION)

Subject

Browse all works related to PROGRAMMES CORRECTS (THÉORIE DE LA PROGRAMMATION).

Home
Subject
PROGRAMMES CORRECTS (THÉORIE DE LA PROGRAMMATION)

"11" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Software Engineering and Formal Methods

Software Engineering and Formal Methods: 9th International Conference, Proceedings

by Barthe, Gilles

fromLecture Notes in Computer Science

0 Type: Book

Certified programs and proofs

Certified programs and proofs: Proceedings : First International Conference

by Jouannaud, Jean-Pierre, Informatiker, Jouannaud, Jean-Pierre, Informaticien, Jouannaud, Jean-Pierre, Computer scientist, International Conference on Certified Programs and Proofs

fromLecture Notes in Computer Science

0 Type: Book

Model checking software

Model checking software: proceedings

by Groce, Alex, International SPIN Workshop

fromLecture Notes in Computer Science

0 Type: Book

Model checking software

Model checking software: 18th International SPIN Workshop, Snowbird, UT, U…

by Groce, Alex, International SPIN Workshop (18, 2011, Snowbird, Utah)

fromLecture Notes in Computer Science

0 Type: Book

Tests and proofs

Tests and proofs: 5th international conference : proceedings

by International Conference on Tests and Proofs, Gogolla, Martin

fromLecture Notes in Computer Science

0 Type: Book

Models of computation in context

Models of computation in context: proceedings

by Löwe, Benedikt, Conference on Computability in Europe

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 Van der Meyden, Ron, Workshop on Model Checking and Artificial Intelligence

fromLecture Notes in Computer Science

0 Type: Book

Programs, proofs, processes

Programs, proofs, processes: proceedings

by Ferreira, Fernando, Conference on Computability in Europe

fromLecture Notes in Computer Science

0 Type: Book

Software engineering and formal methods

Software engineering and formal methods: 10th international conference : proceedings

by Eleftherakis, George, International Conference on Software Engineering and Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

Tests and proofs

Tests and proofs: 4th international conference : proceedings

by Fraser, Gordon, International Conference on Tests and Proofs

fromLecture Notes in Computer Science

0 Type: Book

25 years of model checking

25 years of model checking: history, achievements, perspectives

by Grumberg, Orna

fromLecture Notes in Computer Science

0 Type: Book

Subjects

CORRECTNESS (THEORY OF PROGRA… (11) KORREKTHEIT (THEORIE DER PROG… (11) PROGRAMMES CORRECTS (THÉORIE … (11) VERIFICATION (SOFTWARE ENGINE… (7) VERIFIKATION (SOFTWARE ENGINE… (7) VÉRIFICATION (GÉNIE LOGICIEL) (7) Model Checking (3) ALGORITHMEN UND BERECHENBARE … (2) ALGORITHMES ET FONCTIONS CALC… (2) ALGORITHMS AND COMPUTABLE FUN… (2) ANALYSE DE SYSTÈMES + CONCEPT… (2) CLASSES DE COMPLEXITÉ (INFORM… (2) COMPLEXITY CLASSES (THEORETIC… (2) KOMPLEXITÄTSKLASSEN (THEORETI… (2) SPECIFICATIONS (SOFTWARE ENGI… (2) SPEZIFIKATIONEN (SOFTWARE ENG… (2) SPÉCIFICATIONS + CONCEPTS DE … (2) SYSTEMANALYSE + SYSTEMENTWICK… (2) SYSTEMS ANALYSIS + SYSTEMS DE… (2) Software Engineering (2) TESTEN + FEHLERSUCHEN (SOFTWA… (2) TESTING + DEBUGGING (SOFTWARE… (2) TESTS ET MISE AU POINT DE PRO… (2) THEORIE DER PROGRAMMIERUNG (2) THEORY OF PROGRAMMING (2) THÉORIE DE LA PROGRAMMATION (2) Beweis (1) COMPUTER PROGRAMS (1) Complexité de calcul (Informa… (1) Computability (1) Computational complexity (1) Computational complexity -- C… (1) Computer Science (1) Computer software (1) Electronic Data Processing (1) Formal methods (Computer scie… (1) Formal methods (Computer scie… (1) Formale Methode (1) Génie logiciel (1) Génie logiciel -- Congrès (1) INTELLIGENT SYSTEMS (ARTIFICI… (1) INTELLIGENTE SYSTEME (KÜNSTLI… (1) Informatique (1) Logic design (1) Logiciels (1) MÉTHODES DE PROGRAMMATION SPÉ… (1) Méthodes formelles (Informati… (1) SEFM (1) SPECIAL PROGRAMMING METHODS (1) SPEZIELLE PROGRAMMIERMETHODEN (1) SYSTÈMES INTELLIGENTS (INTELL… (1) Software engineering -- Congr… (1) Softwareentwicklung (1) Softwaresystem (1) Softwaretest (1) Structure logique (1) data processing (1) software (1)

Contributor

Conference on Computability i… (2) Groce, Alex (2) International Conference on T… (2) Barthe, Gilles (1) Eleftherakis, George (1) Ferreira, Fernando (1) Fraser, Gordon (1) Gogolla, Martin (1) Grumberg, Orna (1) International Conference on C… (1) International Conference on S… (1) International SPIN Workshop (1) International SPIN Workshop (… (1) Jouannaud, Jean-Pierre, Compu… (1) Jouannaud, Jean-Pierre, Infor… (1) Jouannaud, Jean-Pierre, Infor… (1) Löwe, Benedikt (1) Van der Meyden, Ron (1) Workshop on Model Checking an… (1)

Publisher

Springer (11)

Year

2012 (1) 2011 (7) 2010 (2) 2008 (1)

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