1. Larch
پدیدآورنده : John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
رده :
QA
76
.
6
.
H66
1993
2. Larch
پدیدآورنده : John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
رده :
QA
76
.
6
.
H66
1993
3. Larch Languages and Tools for Formal Specification
پدیدآورنده : John V. Guttag; James J. Horning. With S.J. Garland ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebraische Spezifikation,LARCH,Softwareentwicklung
رده :
QA76
.
6
J646
2012
