Mathematical Methods of Specification and Synthesis of Software Systems '85W. Bibel

Mathematical Methods of Specification and Synthesis of Software Systems '85

W. Bibel, Klaus P. Jantke · 1986

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1986
שפה: English
הוצאה: Springer
מהדורות: 4
עמודים: 256
ISBN: 9783540164449

מקור הנתונים: Wikidata

עוד של W. Bibel

Automated Deduction - A Basis for ApplicationsW. Bibel

Automated Deduction - A Basis for Applications

W. Bibel · 1998

Automated Deduction - A Basis for ApplicationsW. Bibel

Automated Deduction - A Basis for Applications

W. Bibel · 1998

Fundamentals of Artificial IntelligenceW. Bibel

Fundamentals of Artificial Intelligence

W. Bibel · 1986

Automated deductionW. Bibel

Automated deduction

W. Bibel · 1998

Automated theorem provingW. Bibel

Automated theorem proving

W. Bibel · 1987

Artificial IntelligenceW. Bibel

Artificial Intelligence

W. Bibel · 1985

Multiobjective Heuristic SearchW. Bibel

Multiobjective Heuristic Search

W. Bibel · 2013

Ausgezeichnete Informatikdissertationen 1996W. Bibel

Ausgezeichnete Informatikdissertationen 1996

W. Bibel · 2012

Lehren vom Leben. Essays über Menschen und GesellschaftW. Bibel

Lehren vom Leben. Essays über Menschen und Gesellschaft

W. Bibel · 2003

Handbuch Web Mining im MarketingW. Bibel

Handbuch Web Mining im Marketing

W. Bibel · 2002