Fundamental Scientific Library of NAS RA

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Computability / Klaus Weihrauch.

by Weihrauch, Klaus, 1943-.

Series: EATCS monographs on theoretical computer science ; Vol. 9Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1987Availability: Items available for loan: 1 Call number: Gulb/6881.

Place hold Add to cart
Fundamentals of algebraic specification / H. Ehrig, B. Mahr.

by Ehrig, Hartmut | Mahr, Bernd.

Series: EATCS monographs on theoretical computer science ; Vol. 6Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1985-Availability: Items available for loan: 1 Call number: Gulb/6821.

Place hold Add to cart
Temporal logic of programs / Fred Kroger.

by Kroger, Fred, 1945-.

Series: EATCS monographs on theoretical computer science ; Vol. 8Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1987Availability: Items available for loan: 1 Call number: Gulb/7160.

Place hold Add to cart
Pages


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License