Generalised Reactive Processes in Isabelle/UTP von Foster, Simon David, Canham, Samuel James

Volltext bestellen

Reactive Designs in Isabelle/UTP von Foster, Simon David, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca, Woodcock, JAMES Charles Paul, Canham, Samuel James

Volltext bestellen

Unifying Theories of Reactive Design Contracts von Foster, Simon David, Cavalcanti, Ana Lucia Caneca, Canham, Samuel James, Woodcock, JAMES Charles Paul, Zeyda, Frank

Volltext bestellen

Comments by Writers and Scholars on Books of the Past Ten Years von Allen, Walter, Alsop, Joseph, Barth, John, Bates, Marston, Bell, Daniel, Bloom, Harold, Brée, Germaine, Brown, N. O., Brzezinski, Zbigniew, Burgess, Anthony, Butterfield, L. H., Canham, Erwin D., Carter, John Stewart, Dodds, John W., Elliott, George P., Hale, Nancy, Hallie, Philip P., Hawkes, John, Heilbroner, Robert L., Horgan, Paul, Kazin, Alfred, Kermode, J. F., Krutch, Joseph Wood, Lichtenberger, Arthur, Manning, Robert, Meredith, William, Meyer, Karl E., Moore, Marianne, Morgenthau, Hans J., Morison, Samuel Eliot, Newman, James, Ogburn, Charlton, Packer, Herbert L., Rovere, Richard H., Rukeyser, Muriel, Sexton, Anne, Shattuck, Roger, Simpson, Louis, van den Haag, Ernest, Walker, John, Whittemore, Reed, Woodward, C. Vann

Volltext

Neglected Books [of the Past Twenty-Five Years] von Ashmore, Harry S., Asimov, Isaac, Auden, W. H., Baker, Carlos, Barzun, Jacques, Bates, Marston, Beckett, Samuel, Bell, Daniel, Bloom, Harold, Bogan, Louise, Boulding, Kenneth E., Brown, N. O., Brustein, Robert, Burgess, Anthony, Cane, Melville, Canham, Erwin D., Clark, Kenneth B., Coles, Robert, Cox, Harvey, Deutsch, Babette, Dickey, James, Fowles, John, Gay, Peter, Glanville, Brian, Glazer, Nathan, Gombrich, E. H., Harrison, G. B., Hecht, Anthony, Hentoff, Nat, Jovanovich, William, Kauffmann, Stanley, Kristol, Irving, Krutch, Joseph Wood, Langer, Susanne K., Lessing, Doris, Levin, Harry, Lynn, Kenneth S., Marty, Martin E., Mead, Margaret, Merwin, W. S., Motherwell, Robert, Muller, Herbert J., Murray, Henry A., Nin, Anaïs, Novak, Michael, Oates, Joyce Carol, Plumb, J. H., Polanyi, Michael, Randall, John Herman, Renault, Mary, Riesman, David, Rorem, Ned, Rosten, Leo, Roszak, Theodore, Sears, Paul B., Shapley, Harlow, Silber, John R., Simpson, George Gaylord, Snow, C. P., Simpson, Louis, Sontag, Susan, Stegner, Wallace, Strand, Mark, Taylor, Peter, Wolfe, Tom

Volltext