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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Foundations of Software Science and Computational Structures Helmut Seidl
Codul Libristo: 01568313
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2007
This book constitutes the refereed proceedings of the 10th International Conference on Foundations o... Descrierea completă
? points 148 b
320.33 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top
Deutsch - Übungsgrammatik für die Grundstufe - PLUS, m. 1 Buch, m. 1 Beilage Anneli Billina / Carte Carte
common.buy 112.48 lei
En trollkvinnas saga / Carte Carte broșată
common.buy 40.91 lei
Čo psy chcú Mat Ward / Carte Copertă tare
common.buy 78.72 lei
JOSEFINE MUTZENBACHER Felix Salten / Carte Carte broșată
common.buy 109.26 lei
Дресс-код. Голая правда о моде Мари Арнтцер / Carte Carte broșată
common.buy 127.65 lei
Roger Pierre et Jean Marc Thibault Pierre / Audiobook MP3
common.buy 20.76 lei
Ébénisterie: le meuble et sa structure Daudé / Carte Copertă tare
common.buy 301.11 lei
Lotta badet, Lotta geht aufs Töpfchen & Lotta in der Krippe Friderike Bostelmann / Joc / Jucărie Joc
common.buy 234.01 lei
CD MP3 Zapomniane władczynie. Kolekcja audio Dorota Pająk-Puda / Audiobook Audiobook
common.buy 205.45 lei
Avalovara Osman Lins / Carte Carte broșată
common.buy 89.11 lei
Gintama Acrylic Figure Prince Hata & Animal Paradise Farm of Love & Peace 6 cm Blind Box Display (6) Joc / Jucărie Jucărie
common.buy 259.36 lei
Skvělé příběhy Čtyřlístku Ljuba Štíplová / Carte Copertă tare
common.buy 99.91 lei
Las uniones de hecho en España Meil Landwerlin / Carte Carte broșată
common.buy 99.29 lei
Réussir son potager Guedj / Carte Carte broșată
common.buy 117.05 lei
Modelo de negocio para la creacion de una guarderia Yuliana Solis / Carte Carte broșată
common.buy 305.68 lei
Contemporary Japanese Architecture (English, French, German) Jodidio / Carte Copertă tare
common.buy 383.90 lei
Die Abenteuer des Apollo 4: Die Gruft des Tyrannen Jona Mues / Audio Audio CD
common.buy 84.75 lei
Baby Puzzle SET Zvířátka / Joc / Jucărie Puzzle
common.buy 40.71 lei
Tajemnica mody Widmark Martin / Carte Copertă tare
common.buy 36.97 lei
Quelques Reflexions Sur Les Prophylaxies Et Les Antagonismes Desmartis-T / Carte Carte broșată
common.buy 75.09 lei
Der weiße Stern Iny Lorentz / Carte Carte broșată
common.buy 80.08 lei
Joch in der Bibel und dessen Verwendung im realen Leben Roland Engelhart / Carte Carte broșată
common.buy 50.58 lei
Muž 50+ Michael Kernbach / Carte Copertă tare
common.buy 29.39 lei
Elegie pro ovečku 7 Kei Toume / Carte Carte broșată
common.buy 63.56 lei

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.§The 25 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. In particular the following topics are dealt with: algebraic models, automata and language theory, behavioral equivalences, categorical models, computation processes over discrete and continuous data, infinite state systems computation structures, logics of programs, modal, spatial, and temporal logics, models of concurrent, reactive, distributed, and mobile systems, process algebras and calculi, semantics of programming languages, software specification and refinement, type systems and type theory, fundamentals of security, semi-structured data, program correctness and verification.

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 Foundations of Software Science and Computational Structures
Autor Helmut Seidl
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 379
EAN 9783540713883
ISBN 3540713883
Codul Libristo 01568313
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1230
Dimensiuni 155 x 235 x 27

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Data Mining and Knowledge Discovery with Evolutionary Algorithms Alex A Freitas / Carte Carte broșată
common.buy 568.27 lei
Earthly Immortalities: How the Dead Live on in the Lives of Others Peter Moore / Carte Copertă tare
common.buy 128.89 lei
Lin Robbe Seiler Heinz Wirz / Carte Carte broșată
common.buy 231.00 lei
Heroic Elegies and Other Pieces of Llywarc Hen, Prince of the Cumbrian Britons HEN LLYWARCH / Carte Copertă tare
common.buy 178.65 lei
Hello Dolly! JERRY HERMAN / Carte Carte broșată
common.buy 364.68 lei
Cordially Invited: A seasonal guide to celebrations and hosting, perfect for festive planning, crafting and baking in the run up to Christmas! Brighton Grand / Carte Copertă tare
common.buy 133.67 lei
Sensuous and Other Astral Experiences Now! Dr Stuart R Rolls Phd / Carte Carte broșată
common.buy 82.67 lei
Easter: Facts vs Fiction Gene Keith / Carte Carte broșată
common.buy 37.17 lei
HIT or Miss, 3rd Edition Jonathan Leviss / Carte Copertă tare
common.buy 518.93 lei
Ordinances of the Common Council of the City of Trenton, Passed Since 1842; With the Acts of the Legislature Relative to Said City, Passed Since 1840. Anonymous / Carte Carte broșată
common.buy 78.72 lei
Something Missing Darlene Halliday / Carte Carte broșată
common.buy 81.53 lei
Reviewing Blindness in French Fiction, 1789-2013 Hannah Thompson / Carte Copertă tare
common.buy 410.59 lei
Light of Kailash. A History of Zhang Zhung and Tibet Chögyal Namkhai Norbu / Carte Carte broșată
common.buy 178.44 lei
Mexico, 1848-1853 Pedro Santoni / Carte Copertă tare
common.buy 1 335.47 lei
Last Arab Jews UDOVITCH / Carte Carte broșată
common.buy 323.34 lei
Trick And Fancy Shots In Pocket Billiards Jimmy Caras / Carte Carte broșată
common.buy 122.87 lei
Warren Hastings Alfred Lyall / Carte Carte broșată
common.buy 102.72 lei
Europe David Wallace / Carte Carte broșată
common.buy 393.04 lei
Vincent Van Gogh Scrapbook Paper Make Better Crafts / Carte Carte broșată
common.buy 75.30 lei
Learning Vue Maya Shavin / Carte Carte broșată
common.buy 275.56 lei
Tales of Chinatown: Bonus Book: Snakeheads - Screenplay Joe Bruno / Carte Carte broșată
common.buy 71.56 lei
Practical language: English / Swedish: bilingual guide Caroline Jakobsson / Carte Carte broșată
common.buy 146.03 lei
500 Hidden Secrets of Paris Marie Farman / Carte Carte broșată
common.buy 108.33 lei
G is for Ghosts ANDREW BOURELLE / Carte Carte broșată
common.buy 106.15 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?