Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Description of Programming Concepts

Limba englezăengleză
Carte Copertă tare
Carte Formal Description of Programming Concepts Erich J. Neuhold
Codul Libristo: 01565401
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 1991
In software engineering there is a growing need for formalization as a basis for developing powerful... Descrierea completă
? points 263 b
567.05 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Eine oekonomische Analyse des Art. 39 EGV und seiner UEbergangsvorschriften Nadine Buschhaus / Carte Carte broșată
common.buy 236.51 lei
Zakochaliśmy się w nadziei. Wydanie specjalne Lancali / Carte Copertă tare
common.buy 77.93 lei
Cornelia Goethe Sigrid Damm / Carte Carte broșată
common.buy 60.42 lei
Jak ogarnąć dom i nie oszaleć White Dana K. / Carte Carte broșată
common.buy 41.03 lei
Visita Puerperal Domiciliaria y el Alta Precoz Posparto Soledad Cristóbal Aguado / Carte Carte broșată
common.buy 246.05 lei
El ratón que quería un palacio Miguel Ángel Díez Navarro / Carte Carte broșată
common.buy 94.52 lei
Songs Of Surrender (Deluxe Collectors Edition ) U2 / Audio Audio CD
common.buy 195.16 lei
Jean Berth, der Tänzer Jean Berth / Carte Carte broșată
common.buy 89.33 lei
Guadix Andalusien Spanien - 1.000 Teile (Puzzle) / Joc / Jucărie Joc
common.buy 164.69 lei
Фокус с зеркалами Агата Кристи / Carte Carte broșată
common.buy 59.79 lei
Barcelona collegium / Materiale tipărite Hartă
common.buy 29.74 lei
La gastronomie comme outil de marketing Angelique Verheijen / Carte Carte broșată
common.buy 241.90 lei
El padre: Son tan injustos los hombres que la injusticia la legitimizan... Jaime Bedoya Martinez / Carte Carte broșată
common.buy 66.64 lei
Armut und Gesundheit - Eine sozialpolitische Analyse Florian Sondermann / Carte Carte broșată
common.buy 236.51 lei
Confessions d'un mangeur d'opium anglais Quincey / Carte Carte broșată
common.buy 80.73 lei
La Guerre de la Reine Araignée, T4 : Extinction Lisa Smedman / Carte Carte broșată
common.buy 135.56 lei
RICORUMI Funny Fall Rico Design GmbH & Co. KG / Carte Foaie
common.buy 25.28 lei
Adolf Hitler JEAN S NAT FLEURY / Carte Carte broșată
common.buy 87.36 lei
Fremdfondsvertrieb von Banken Alexander Schmidt / Carte Carte broșată
common.buy 237.03 lei
Verbrenne Fett fur eine Bestleistung beim Wrestling: Gerichte zum Fettverbrennen, die dir helfen mehr zu gewinnen! Correa (Zertifizierter Sport-Ernahrungsb / Carte Carte broșată
common.buy 120.63 lei
PARAÍSOS ARTIFICIALES. EL SPLEEN DE PARÍS CHARLES BAUDELAIRE / Carte Carte broșată
common.buy 101.25 lei
A Desterritorialização da Redação no Jornalismo Contemporâneo Daniela Chiba / Carte Carte broșată
common.buy 177.64 lei
Ingmar Bergman; Frente Al Espejo, JORGE PINTO MAZAL / Carte Carte broșată
common.buy 64.77 lei
Brujas Andinas. La inquisición en Argentina Alicia Poderti / Carte Carte broșată
common.buy 270.61 lei

In software engineering there is a growing need for formalization as a basis for developing powerful computer assisted methods. This volume contains seven extensive lectures prepared for a series of IFIP seminars on the Formal Description of Programming Concepts. The authors are experts in their fields and have contributed substantially to the state of the art in numerous publications. The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs. In particular, methods for the specification and transformation of programs are considered in detail. One lecture is devoted to the formalization of concurrency and distributed systems and reflects their great importance in programming. Further topics are the verification of programs and the use of sophisticated type systems in programming. This compendium on the theoretical foundations of programming is also suitable as a textbook for special seminars on different aspects of this broad subject.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Description of Programming Concepts
Autor Erich J. Neuhold, Manfred Paul
Limba engleză
Legare Carte - Copertă tare
Data publicării 1991
Număr pagini 508
EAN 9783540539612
ISBN 3540539611
Codul Libristo 01565401
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 2660
Dimensiuni 178 x 254 x 17

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Atlas of Breast Surgery Ismail Jatoi / Carte Carte broșată
common.buy 1 369.28 lei
English As We Speak It In Ireland P W Joyce / Carte Carte broșată
common.buy 169.25 lei
Top
Zonal Marking Michael Cox / Carte Carte broșată
common.buy 66.01 lei
Goodnight, Max the Brave Ed Vere / Carte Cărți pliante
common.buy 45.08 lei
Changing Our Genetic Heritage Ariann Thomas / Carte Copertă tare
common.buy 124.06 lei
Mrs Dalloway Virginia Woolf / Carte Carte broșată
common.buy 48.29 lei
The Soul of the Mountain: The Lost Mountain Man James C Andrews / Carte Carte broșată
common.buy 229.67 lei
Trains: A Fascinating Book Containing Train Facts, Trivia, Images & Memory Recall Quiz: Suitable for Adults & Children Matthew Harper / Carte Carte broșată
common.buy 81.15 lei
Home University Library of Modern Knowledge. No. 48. Great American Writers W. P. TRENT / Carte Carte broșată
common.buy 127.99 lei
Language and Schizophrenia CARDELLA / Carte Copertă tare
common.buy 1 140.32 lei
A Search for Coppers John L Brown / Carte Carte broșată
common.buy 56.79 lei
Mermaid Island Board Game Mindware / Joc / Jucărie Joc
common.buy 85.50 lei
Skills, Drills & Strategies for Basketball NIX / Carte Copertă tare
common.buy 1 184.79 lei
SagaBorn Roleplaying Game Beta Michael Bielaczyc / Carte Carte broșată
common.buy 85.50 lei
AN ESSAY ON THE LEARNING, GENIUS, AND AB BENITO JER N FEIJOO / Carte Copertă tare
common.buy 183.65 lei
A Beautiful Evil Kelly Keaton / Carte Copertă tare
common.buy 92.13 lei
The Courier: A San Angeles Novel Gerald Brandt / Carte Carte broșată
common.buy 39.27 lei
Jamaica and the Substitute Teacher Juanita Havill / Carte Carte broșată
common.buy 46.63 lei
Lula & Her Amigurumi Friends Nour Abdallah / Carte Carte broșată
common.buy 87.36 lei
Curând Nou
Autonomous AI Agents Mahesh Chand / Carte Copertă tare
common.buy 1 208.52 lei
Man of Parliament Jonathan Rose / E-book Adobe ePub DRM
common.buy 211.95 lei
Misbelief Ariely / Carte Carte broșată
common.buy 87.36 lei
Top
Big Cheese Jory John / Carte Carte broșată
common.buy 48.60 lei
ARCHITECTURAL PRINCIPLES Maurizio De Bortoli / Carte Carte broșată
common.buy 280.36 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?