Kokichi Futatsugi - Veröffentlichungen allgemein

(1 - 9 von 10

)

Algebraic Specification of Distributed Systems based on ...Springer

link.springer.com

von S Iida · · Zitiert von: 6 — Kokichi Futatsugi Trends in formal specification methods based on algebraic specification techniques — from abstract data types to software processes: A ... von S Iida · · Zitiert von: 6 — Kokichi Futatsugi Trends in formal specification methods based on algebraic specification techniques — from abstract data types to software processes: A ...

Essays Dedicated to Kokichi Futatsugi - AlgebraResearchGate

www.researchgate.net

Request PDF | On Jan 1, 2014, Shusaku Iida and others published Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi | Find, read and ... Request PDF | On Jan 1, 2014, Shusaku Iida and others published Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi | Find, read and ...

Specification, Algebra, and SoftwareSpringer

link.springer.com

von S Iida · Zitiert von: 4 — Dedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and ... von S Iida · Zitiert von: 4 — Dedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and ...

Kokichi Futatsugi Research Center for Software Verification (RCSV ...NII Shonan Meeting

shonan.nii.ac.jp

Kokichi Futatsugi. Research Center for Software Verification (RCSV). Japan Advanced Institute of Science and Technology (JAIST). ➢ General interest. Kokichi Futatsugi. Research Center for Software Verification (RCSV). Japan Advanced Institute of Science and Technology (JAIST). ➢ General interest.

Verwandte Suchanfragen zu Kokichi Futatsugi

José Meseguer
Jose Fiadeiro
Claude Kirchner

Personen
Vorname "Kokichi" (4)
Name "Futatsugi" (1)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Kokichi Futatsugi

Algebraic Specification of Distributed Systems based on ...Springer

Essays Dedicated to Kokichi Futatsugi - AlgebraResearchGate

Specification, Algebra, and SoftwareSpringer

Kokichi Futatsugi Research Center for Software Verification (RCSV ...NII Shonan Meeting

Software Security - Theories and Systems - Second Mext-WSF-JSPS...

Specification, algebra, and software : essays dedicated to Kokichi...

Oalib search

More Higher Order Programming in OBJ | SpringerLinklink.springer.com › chapter

Specification, Algebra, and Software - Essays Dedicated to Kokichi...