Kod: 01650158
Language Engineering and Rigorous Software Development
Autor Luis Soares Barbosa, Ana Bove, Alberto Pardo, Jorge Sousa Pinto
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one ... więcej
- Język:
Angielski - Oprawa: Miękka
- Liczba stron: 301
Wydawca: Springer, Berlin, 2009
- Więcej informacji o książce
61.92 €
Dostępna u dostawcy w małych ilościach
Wysyłamy za 10 - 15 dni
Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.
Dodaj do schowka
Zobacz książki o podobnej tematyce
-
Berserk Deluxe Volume 1
48.50 € -28 % -
Haunting Adeline
30.60 € -
Berserk Deluxe Volume 2
51.95 € -
Cry Baby Coloring Book
9.75 € -13 % -
Berserk Deluxe Volume 3
48.60 € -4 % -
The Official Stardew Valley Cookbook
23.58 € -18 % -
Hunting Adeline
31.61 € -
Powerless
11.89 € -8 % -
Atomic Habits
16.36 € -29 % -
Harry Potter and the Prisoner of Azkaban (Minalima Edition)
35.17 € -14 % -
Chainsaw Man, Vol. 15
10.36 € -23 % -
Berserk Deluxe Volume 4
46.36 € -8 % -
White Nights
3.55 € -
House of Leaves
23.07 € -23 % -
Gravity Falls Journal 3
18.29 € -14 % -
JUJUTSU KAISEN V22
10.67 € -18 % -
Dungeons & Dragons Essentials Kit (D&d Boxed Set)
30.19 € -
Iron Flame
16.16 € -25 % -
No Longer Human
13.41 € -17 % -
A Little Life
17.38 € -
Surrounded by Idiots
10.67 € -11 %
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Więcej informacji o Language Engineering and Rigorous Software Development
Za ten zakup dostaniesz 154 punkty
Opis
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.
Szczegóły książki
Kategoria Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering
61.92 €
- Pełny tytuł: Language Engineering and Rigorous Software Development
- Podtytuł: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
- Autor: Luis Soares Barbosa, Ana Bove, Alberto Pardo, Jorge Sousa Pinto
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 301
- EAN: 9783642031526
- ISBN: 3642031528
- ID: 01650158
- Wydawca: Springer, Berlin
- Waga: 480 g
- Wymiary: 17 × 155 × 15 mm
- Rok wydania: 2009
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)