L’articolo è stato aggiunto alla lista dei desideri

Password

Ricordami

Hai dimenticato la password?

Prosegui come ospite

Accetto termini e condizioni

Torna indietro

Verifica email È stata appena inviata una mail di verifica all’indirizzo

Questo passaggio aggiuntivo dimostra che sei tu che stai provando a proseguire come ospite.

Nome

Cognome

Password

Min. 8 caratteri ( A-Z, a-z, 0-9 e caratteri speciali . , - / @ _ ! )

Ripeti password

Verifica email L’indirizzo nome.cognome@mail.com non è presente nei nostri database come profilo ospite. Per maggiori dettagli contattare il servizio clienti

Con la presente registrazione, dichiaro di avere almeno 14 anni e di aver letto ed accettato le Condizioni d’Uso del sito, le Condizioni Generali di Vendita e l’Informativa Privacy fornita ai sensi degli artt. 13 e 14 del Regolamento Europeo (UE) 679/2016.

Autorizzo il Titolare ad inviare direttamente comunicazioni commerciali su prodotti e servizi del Titolare, società del Gruppo Feltrinelli e partner commerciali, a mezzo di sistemi automatizzati via e-mail, sms o simili e a mezzo del servizio postale, così come descritto all’art. 3 lett. e) dell’informativa privacy.

Autorizzo il Titolare a migliorare ed accrescere la capacità di adeguare l’offerta complessiva del Titolare alle esigenze dell’Utente, mediante comunicazioni commerciali ed offerte promozionali personalizzate basate sulla profilazione, così come descritto all’art. 3 lett. f) dell’informativa privacy.

Autorizzo il Titolare a comunicare e cedere i dati a società del Gruppo Feltrinelli e/o a partner commerciali attivi nei settori di editoria, cinema, musica, intrattenimento, nonché ulteriori terze parti appartenenti alle categorie indicate nell’informativa, per l’invio di comunicazioni commerciali effettuate da parte di questi soggetti, così come descritto all’art. 3 lett. g) dell’informativa privacy.

Benvenuto in IBS,

Riceverai una mail di conferma all’indirizzo

Raccontaci qualcosa in più su di te

oppure

Inizia il tuo shopping

Verifica email È stata appena inviata una mail di verifica all’indirizzo

Questo passaggio aggiuntivo dimostra che sei tu che stai provando a proseguire come ospite.

;

Principles of the Spin Model Checker - Mordechai Ben-Ari - cover

LIBRO INGLESE

Principles of the Spin Model Checker

Name: Principles of the Spin Model Checker
Price: 54.85 EUR
Availability: InStock
Author: Mordechai Ben-Ari
ISBN: 1846287693

di Mordechai Ben-Ari (Autore)

Springer London Ltd, 2008

Recensioni: 0/5

(0)

Grazie per la tua recensione!

Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti Effe

54,85 €

-5% 57,74 €

+550 punti Effe

Venditore: IBS

Articolo acquistabile con Carta del Docente

Articolo acquistabile con Carta Cultura Giovani e Carta del Merito

Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €

Dati e Statistiche

Salvato in 0 liste dei desideri

Principles of the Spin Model Checker

Disponibile in 5 giorni lavorativi

54,85 €

-5% 57,74 €

54,85 € 57,74 € -5%

Disp. in 5 gg lavorativi

Principles of the Spin Model Checker

di Mordechai Ben-Ari

Libri in Inglese

Altri venditori

Prezzo e spese di spedizione

Venduto e spedito da IBS

54,85 € Spedizione gratuita

disponibile in 5 giorni lavorativi

Nuovo

Altri venditori

Prezzo e spese di spedizione

Venduto e spedito da IBS

54,85 € Spedizione gratuita

disponibile in 5 giorni lavorativi

Nuovo

Altri venditori

Prezzo e spese di spedizione

Descrizione

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching. Complete programs demonstrate each construct and concept and these programs are available on a companion website.

Leggi di più Leggi di meno

Dettagli

Autore:

Mordechai Ben-Ari

Editore:

Springer London Ltd

Anno:

2008

Rilegatura:

Paperback / softback

Pagine:

220 p.

Testo in English

Dimensioni:

229 x 152 mm

Peso:

750 gr.

EAN:

9781846287695

L’articolo è stato aggiunto alla lista dei desideri

Principles of the Spin Model Checker

Descrizione

Dettagli

Questo prodotto lo trovi anche