Books

1 works - Books.

Home
Books

"1" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Formal methods and software engineering: 12th International Conference on Formal Engineeri…

by International Conference on Formal Engineering Methods. <12, 2010, Shanghai>

fromLecture Notes in Computer Science

0 Type: Book

Subjects

BPEL (1) COMPUTER PROGRAMS (1) Computer Communication Networ… (1) Computer Science (1) Computer software (1) Electronic Data Processing (1) Entscheidungsverfahren (1) First-order logic (1) Formale Methode (1) Génie logiciel (1) Informatique (1) Leistungsbewertung (1) Logiciels (1) Maude (1) Model Checking (1) OWL (1) Paperback / softback (1) Performance analysis (1) Programmanalyse (1) Programmverifikation (1) Research (1) Semantic Web (1) Service composition (1) Serviceorientierte Architektur (1) Software Engineering (1) Softwareentwicklung (1) Softwaretest (1) Web services (1) algebraic specification (1) automata (1) automated verification (1) automatic translation (1) behavioral specification (1) bounded model checking (1) case analysis (1) combined domain (1) component-based sysetms (1) constraint automata (1) data processing (1) decision procedure (1) equational theory (1) formatl verification (1) lightweight formal methods (1) open systems (1) parameterised verification (1) process algebra (1) program analysis (1) program verificationq (1) rewrite theory (1) safety-critical systems (1) satisfiability (1) semantics (1) software (1) software maintenance (1) software quality (1) statis program analysis (1) structural induction (1) symmetry reduction (1) temporal logic (1) timed automata (1) verification (1)

Contributor

International Conference on F… (1)

Publisher

Springer (1)

Year

2010 (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

Youtube

Instagram

Twitter

Hot News

more →

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