Algorithimic Languages and Calculi 1
bokomslag Algorithimic Languages and Calculi
Data & IT

Algorithimic Languages and Calculi

Richard Bird • Lambert Meerkens

Inbunden

2969:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 443 sidor
  • 1997
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.
  • Författare: Richard Bird, Lambert Meerkens
  • Illustratör: 443 p VIII
  • Format: Inbunden
  • ISBN: 9780412820502
  • Språk: Engelska
  • Antal sidor: 443
  • Utgivningsdatum: 1997-07-01
  • Förlag: Chapman and Hall

Du kanske gillar

  1. bokomslag Roxburgh's Common Skin Diseases

    Roxburgh's Common Skin Diseases

    Aye Serap Karadag, Lawrence Charles Parish, Jordan V Wang

    Inbunden

    3559:-
  2. bokomslag Japanese Woodcut

    Japanese Woodcut

    Carol Wilhide Justin

    Inbunden

    489:-
  3. bokomslag Quantitative Portfolio Optimisation, Asset Allocation and Risk Management

    Quantitative Portfolio Optimisation, ...

    M Rasmussen

    Pocket

    4309:-
  4. bokomslag Geo-Informatics in Resource Management and Sustainable Ecosystem

    Geo-Informatics in Resource Managemen...

    Yichun Xie Fuling Bian

    Pocket

    1499:-
  5. bokomslag SAP S/4HANA Conversion

    SAP S/4HANA Conversion

    Ravi Surya Subrahmanyam

    Pocket

    609:-
  6. bokomslag Microorganisms for Green Revolution

    Microorganisms for Green Revolution

    Deepak G Panpatte, Yogeshvari K Jhala, Rajababu V Vyas, Harsha N Shelat

    Pocket

    2969:-
  7. bokomslag Handbook of Porous Media

    Handbook of Porous Media

    Kambiz Vafai

    Inbunden

    4819:-
  8. bokomslag African Biodiversity

    African Biodiversity

    Bernhard A Huber, Bradley J Sinclair, Karl-Heinz Lampe

    Inbunden

    3059:-
  9. bokomslag Making Vintage 1930s Clothes for Women

    Making Vintage 1930s Clothes for Women

    Claire Reed Ciara Phipps

    Pocket

    489:-
  10. bokomslag New Trends in Urban Drainage Modelling

    New Trends in Urban Drainage Modelling

    Giorgio Mannina

    Inbunden

    5019:-

Andra av samma författare

  1. bokomslag Introduction Functional Programming

    Introduction Functional Programming

    Richard Bird

    Pocket

    1309:-
  2. bokomslag Human Resource Management in Education

    Human Resource Management in Education

    Justine Mercer, Bernard Barker, Richard Bird

    Pocket

    719:-
  3. bokomslag Human Resource Management in Education

    Human Resource Management in Education

    Justine Mercer, Bernard Barker, Richard Bird

    Inbunden

    2579:-
  4. bokomslag Pearls of Functional Algorithm Design

    Pearls of Functional Algorithm Design

    Richard Bird

    Inbunden

    1129:-
  5. bokomslag The VAT in Developing and Transitional Countries

    The VAT in Developing and Transitiona...

    Richard Bird

    Inbunden

    1079:-
  6. bokomslag Planting with Perennials

    Planting with Perennials

    Richard Bird

    Inbunden

    99:-
  7. bokomslag Growing Vegetables, Herbs & Fruit

    Growing Vegetables, Herbs & Fruit

    Jessica Houdret Richard Bird

    Inbunden

    259:-
  8. bokomslag Growing Shoots, Peas and Beans

    Growing Shoots, Peas and Beans

    Richard Bird

    Inbunden

    89:-
  9. bokomslag Growing Root Vegetables

    Growing Root Vegetables

    Christine Ingram Richard Bird

    Inbunden

    89:-
  10. bokomslag Growing Berries and Currants

    Growing Berries and Currants

    Kate Whiteman Richard Bird

    Inbunden

    89:-