(Keywords)Algebraic Specifica… (2) (Zielgruppe)Research (2) Formale Methode (2) Softwareentwicklung (2) (Keywords)BPEL (1) (Keywords)Behavioural Specifi… (1) (Keywords)Category Theory (1) (Keywords)Formal Program Deve… (1) (Keywords)Formal Software Dev… (1) (Keywords)Maude (1) (Keywords)OWL (1) (Keywords)Service Composition (1) (Keywords)Universal Algebra (1) (Keywords)Web services (1) (Keywords)automata (1) (Keywords)automated verificat… (1) (Keywords)automatic translati… (1) (Keywords)behavioral specific… (1) (Keywords)bounded model check… (1) (Keywords)case analysis (1) (Keywords)combined domain (1) (Keywords)component-based sys… (1) (Keywords)constraint automata (1) (Keywords)decision procedure (1) (Keywords)equational theory (1) (Keywords)first order logic (1) (Keywords)formatl verification (1) (Keywords)lightweight formal … (1) (Keywords)model checking (1) (Keywords)open systems (1) (Keywords)parameterised verif… (1) (Keywords)performance analysis (1) (Keywords)process algebra (1) (Keywords)program analysis (1) (Keywords)program verificatio… (1) (Keywords)rewrite theory (1) (Keywords)safety-critical sys… (1) (Keywords)satisfiability (1) (Keywords)semantic Web (1) (Keywords)semantics (1) (Keywords)software maintenance (1) (Keywords)software quality (1) (Keywords)statis program anal… (1) (Keywords)structural induction (1) (Keywords)symmetry reduction (1) (Keywords)temporal logic (1) (Keywords)timed automata (1) (Keywords)verification (1) (Produktform)Hardback (1) (Produktform)Paperback / soft… (1) Algebraische Spezifikation (1) Entscheidungsverfahren (1) Leistungsbewertung (1) Model Checking (1) Programmanalyse (1) Programmverifikation (1) Serviceorientierte Architektur (1) Softwarespezifikation (1) Softwaretest (1) Web services (1)

Contributor

International Conference on F… (1) Sannella, Donald (1) Tarlecki, Andrzej (1)

Publisher

Springer (2)

Year

2012 (1) 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