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

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1986
Language: English
Publisher: Springer
Editions: 4
Pages: 256
ISBN: 9783540164449

Data source: Wikidata

More by 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